patrick/zephyr
1
0
Fork 0
Code Issues Pull requests Actions 8 Packages Projects Releases Wiki Activity

Update default configs

Browse source 
- Use Zephyr OS instead of Tiny Mountain
- Update with latest config options and values

Change-Id: I64084c37ce28b25587462468de86e4a904749433
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-06-15 13:42:20 -04:00
parent aaa84454d0
commit 5005986d06
16 changed files with 52 additions and 63 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
arch/arm/configs/micro_fsl_frdm_k64f_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/arm Configuration
# Zephyr OS/arm Configuration
#
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
@ -115,6 +115,7 @@ CONFIG_WDOG_INIT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -128,7 +129,7 @@ CONFIG_K20_UART=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

7
arch/arm/configs/micro_ti_lm3s6965_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/arm Configuration
# Zephyr OS/arm Configuration
#
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
@ -109,12 +109,13 @@ CONFIG_IRQ_VECTOR_TABLE_BSP=y
CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_BSP_DIR="ti_lm3s6965"
CONFIG_NUM_IRQS=7
CONFIG_NUM_IRQS=34
CONFIG_BSP_TI_LM3S6965_QEMU=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -128,7 +129,7 @@ CONFIG_STELLARIS_UART=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

5
arch/arm/configs/nano_fsl_frdm_k64f_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/arm Configuration
# Zephyr OS/arm Configuration
#
CONFIG_NANOKERNEL=y
# CONFIG_MICROKERNEL is not set
@ -94,6 +94,7 @@ CONFIG_WDOG_INIT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -107,7 +108,7 @@ CONFIG_K20_UART=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

7
arch/arm/configs/nano_ti_lm3s6965_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/arm Configuration
# Zephyr OS/arm Configuration
#
CONFIG_NANOKERNEL=y
# CONFIG_MICROKERNEL is not set
@ -88,12 +88,13 @@ CONFIG_IRQ_VECTOR_TABLE_BSP=y
CONFIG_ARCH_HAS_TASK_ABORT=y
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
CONFIG_BSP_DIR="ti_lm3s6965"
CONFIG_NUM_IRQS=7
CONFIG_NUM_IRQS=34
CONFIG_BSP_TI_LM3S6965_QEMU=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -107,7 +108,7 @@ CONFIG_STELLARIS_UART=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

5
arch/arm/defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/arm Configuration
# Zephyr OS/arm Configuration
#
# CONFIG_NANOKERNEL is not set
CONFIG_MICROKERNEL=y
@ -115,6 +115,7 @@ CONFIG_WDOG_INIT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -128,7 +129,7 @@ CONFIG_K20_UART=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -130,7 +130,6 @@ CONFIG_SHUTOFF_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
CONFIG_LOAPIC_TIMER_FREQ=150000000
@ -156,6 +155,7 @@ CONFIG_LOAPIC=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -170,7 +170,7 @@ CONFIG_NS16550=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

12
arch/x86/configs/micro_generic_pc_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -103,10 +103,6 @@ CONFIG_EOI_HANDLER_SUPPORTED=y
CONFIG_BSP_PCPENTIUM4=y
# CONFIG_BSP_QUARK is not set
CONFIG_BSP_GENERIC_PC=y
#
# Intel Processor
#
# CONFIG_CPU_MINUTEIA is not set
CONFIG_CPU_PENTIUM4=y
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
@ -117,8 +113,6 @@ CONFIG_CPU_PENTIUM4=y
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV_UNSUPPORTED is not set
# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
# CONFIG_CPU_SSE_UNSUPPORTED is not set
CONFIG_CACHE_LINE_SIZE=64
@ -136,7 +130,6 @@ CONFIG_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -158,6 +151,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -172,7 +166,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/micro_generic_pc_minuteia_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -127,7 +127,6 @@ CONFIG_CACHE_LINE_SIZE=0
CONFIG_BOOTLOADER_UNKNOWN=y
CONFIG_PIC=y
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -149,6 +148,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -163,7 +163,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/micro_generic_pc_pentium4_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -130,7 +130,6 @@ CONFIG_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -152,6 +151,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -166,7 +166,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

7
arch/x86/configs/micro_quark_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -127,7 +127,7 @@ CONFIG_CACHE_LINE_SIZE=0
CONFIG_BOOTLOADER_UNKNOWN=y
# CONFIG_SHUTOFF_PIC is not set
CONFIG_PCI=y
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
# CONFIG_PCI_DEBUG is not set
CONFIG_BSP_DIR="quark"
CONFIG_EXTRA_SERIAL_PORT=y
CONFIG_SERIAL_INTERRUPT_LEVEL=y
@ -154,6 +154,7 @@ CONFIG_LOAPIC=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -168,7 +169,7 @@ CONFIG_NS16550=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -109,7 +109,6 @@ CONFIG_SHUTOFF_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
CONFIG_LOAPIC_TIMER_FREQ=150000000
@ -135,6 +134,7 @@ CONFIG_LOAPIC=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -149,7 +149,7 @@ CONFIG_NS16550=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

12
arch/x86/configs/nano_generic_pc_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -82,10 +82,6 @@ CONFIG_EOI_HANDLER_SUPPORTED=y
CONFIG_BSP_PCPENTIUM4=y
# CONFIG_BSP_QUARK is not set
CONFIG_BSP_GENERIC_PC=y
#
# Intel Processor
#
# CONFIG_CPU_MINUTEIA is not set
CONFIG_CPU_PENTIUM4=y
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
@ -96,8 +92,6 @@ CONFIG_CPU_PENTIUM4=y
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV_UNSUPPORTED is not set
# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
# CONFIG_CPU_SSE_UNSUPPORTED is not set
CONFIG_CACHE_LINE_SIZE=64
@ -115,7 +109,6 @@ CONFIG_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -137,6 +130,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -151,7 +145,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/nano_generic_pc_minuteia_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -106,7 +106,6 @@ CONFIG_CACHE_LINE_SIZE=0
CONFIG_BOOTLOADER_UNKNOWN=y
CONFIG_PIC=y
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -128,6 +127,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -142,7 +142,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

6
arch/x86/configs/nano_generic_pc_pentium4_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -109,7 +109,6 @@ CONFIG_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -131,6 +130,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -145,7 +145,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

7
arch/x86/configs/nano_quark_defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -106,7 +106,7 @@ CONFIG_CACHE_LINE_SIZE=0
CONFIG_BOOTLOADER_UNKNOWN=y
# CONFIG_SHUTOFF_PIC is not set
CONFIG_PCI=y
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
# CONFIG_PCI_DEBUG is not set
CONFIG_BSP_DIR="quark"
CONFIG_EXTRA_SERIAL_PORT=y
CONFIG_SERIAL_INTERRUPT_LEVEL=y
@ -133,6 +133,7 @@ CONFIG_LOAPIC=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -147,7 +148,7 @@ CONFIG_NS16550=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

12
arch/x86/defconfig
View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Tiny Mountain/x86 Configuration
# Zephyr OS/x86 Configuration
#
CONFIG_X86_32=y
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
@ -103,10 +103,6 @@ CONFIG_EOI_HANDLER_SUPPORTED=y
CONFIG_BSP_PCPENTIUM4=y
# CONFIG_BSP_QUARK is not set
CONFIG_BSP_GENERIC_PC=y
#
# Intel Processor
#
# CONFIG_CPU_MINUTEIA is not set
CONFIG_CPU_PENTIUM4=y
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
@ -117,8 +113,6 @@ CONFIG_CPU_PENTIUM4=y
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV_UNSUPPORTED is not set
# CONFIG_CPU_FLOAT_UNSUPPORTED is not set
# CONFIG_CPU_SSE_UNSUPPORTED is not set
CONFIG_CACHE_LINE_SIZE=64
@ -136,7 +130,6 @@ CONFIG_PIC=y
#
# CONFIG_FLOAT is not set
# CONFIG_PCI is not set
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
CONFIG_BSP_DIR="generic_pc"
#
@ -158,6 +151,7 @@ CONFIG_EXTRA_SERIAL_PORT=y
#
# Device Drivers
#
# CONFIG_UART_SIMPLE is not set
# CONFIG_CONSOLE_HANDLER is not set
#
@ -172,7 +166,7 @@ CONFIG_PIT=y
#
# Random Generation Configuration
#
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_RANDOM_GENERATOR is not set
# CONFIG_TEST_RANDOM_GENERATOR is not set
# CONFIG_BLUETOOTH is not set
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"