michaelh/zephyr
1
0
Fork 0
Code Releases Activity

x86: Update default platform configuration files

Browse source 
Updates the default platform configuration files as they had not been properly
maintained.

Change-Id: I5f554c287af51f4d7dcf224b7816f40d14c576d4
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis 2015-08-04 11:37:47 -04:00 • committed by Anas Nashif
commit fa97d9e386
7 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
arch/x86/configs/micro_basic_atom_defconfig
View file

@ -64,6 +64,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="microkernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

1
arch/x86/configs/micro_basic_minuteia_defconfig
View file

@ -64,6 +64,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="microkernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

1
arch/x86/configs/micro_galileo_defconfig
View file

@ -64,6 +64,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="microkernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

1
arch/x86/configs/nano_basic_atom_defconfig
View file

@ -43,6 +43,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="nanokernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

1
arch/x86/configs/nano_basic_minuteia_defconfig
View file

@ -43,6 +43,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="nanokernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

1
arch/x86/configs/nano_galileo_defconfig
View file

@ -43,6 +43,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="nanokernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y

3
arch/x86/defconfig
View file

@ -64,6 +64,7 @@ CONFIG_CROSS_COMPILE=""
# Compile and Link Features
#
CONFIG_KERNEL_BIN_NAME="microkernel"
# CONFIG_DEBUG is not set
CONFIG_COMPILER_OPT=""
CONFIG_MINIMAL_LIBC=y
@ -169,6 +170,8 @@ CONFIG_IOAPIC=y
# Timer Drivers
#
CONFIG_HPET_TIMER=y
# CONFIG_HPET_TIMER_LEGACY_EMULATION is not set
# CONFIG_HPET_TIMER_DEBUG is not set
# CONFIG_LOAPIC_TIMER is not set
#