portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ia32: Make arch configs more consistent

Browse source
This commit is contained in:
Adrian Danis 2015-05-28 14:21:20 +10:00
parent f7a902198e
commit e4398c792e
2 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
Kconfig
View file

@ -24,20 +24,20 @@ menu "seL4 System"
choice choice
prompt "Architecture Type" prompt "Architecture Type"
default ARCH_I386 default ARCH_X86
help help
Select the architecture seL4 will be running on. Select the architecture seL4 will be running on.
config ARCH_I386 config ARCH_X86
bool "x86" bool "x86"
config ARCH_ARM config ARCH_ARM
bool "ARM" bool "ARM"
endchoice endchoice
config ARCH_IA32 config ARCH_IA32
bool bool
default y if ARCH_I386 default y if ARCH_X86
choice choice
prompt "ARM CPU selection" prompt "ARM CPU selection"
@ -160,7 +160,7 @@ config ARCH_IA32
config PLAT_PC99 config PLAT_PC99
bool "PC99" bool "PC99"
depends on ARCH_I386 depends on ARCH_X86
help help
Support for PC99 based platform Support for PC99 based platform
@ -230,7 +230,7 @@ menu "seL4 System Parameters"
config MAX_NUM_NODES config MAX_NUM_NODES
int "Max number of cpu nodes" int "Max number of cpu nodes"
range 1 256 range 1 256
depends on ARCH_I386 depends on ARCH_X86
default 1 default 1
config MAX_NUM_PASSTHROUGH_DEVICES config MAX_NUM_PASSTHROUGH_DEVICES

8
src/plat/pc99/Kconfig
View file

@ -10,7 +10,7 @@
config PCI config PCI
bool "PCI support" bool "PCI support"
depends on ARCH_IA32 depends on PLAT_PC99
default y default y
help help
PCI support, normal should be yes for current PCI support, normal should be yes for current
@ -18,14 +18,14 @@ config PCI
config IOMMU config IOMMU
bool "IOMMU support" bool "IOMMU support"
depends on ARCH_IA32 depends on PLAT_PC99
default y default y
help help
IOMMU support for VT-d enabled chipset IOMMU support for VT-d enabled chipset
choice choice
prompt "IRQ Controller" prompt "IRQ Controller"
depends on ARCH_IA32 depends on PLAT_PC99
default IRQ_PIC default IRQ_PIC
help help
Select the IRQ controller seL4 will use. Code for others may Select the IRQ controller seL4 will use. Code for others may
@ -42,7 +42,7 @@ endchoice
config MAX_NUM_IOAPIC config MAX_NUM_IOAPIC
prompt "Max supported IOAPICs" prompt "Max supported IOAPICs"
depends on ARCH_IA32 depends on PLAT_PC99
int int
default 1 default 1
help help