diff options
| author | Angel Pons <th3fanbus@gmail.com> | 2021-05-17 10:58:36 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2021-05-18 11:42:36 +0000 |
| commit | bceea67461cc44e2c8f10e5d811dcbdc0351ee56 (patch) | |
| tree | d5fd19bc322249f33899362bcb3255e1bb421ebb /src/mainboard/compulab/intense_pc/Kconfig.name | |
| parent | d2489ee7128d000bb2eb22b0cfe2da5db605aa79 (diff) | |
mainboard: Use decimal for `device domain 0x0 on`
Most boards use `device domain 0 on` with zero written in decimal.
For the sake of consistency, update the remaining boards to follow suit.
Change-Id: I6e2f0a19d57cfe6fc4e4ac4d14310133ad6b01d8
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/54358
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'src/mainboard/compulab/intense_pc/Kconfig.name')
0 files changed, 0 insertions, 0 deletions