diff --git a/arch/arm/configs/micro_fsl_frdm_k64f_defconfig b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig index 295a2425112..7ea40910247 100644 --- a/arch/arm/configs/micro_fsl_frdm_k64f_defconfig +++ b/arch/arm/configs/micro_fsl_frdm_k64f_defconfig @@ -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" diff --git a/arch/arm/configs/micro_ti_lm3s6965_defconfig b/arch/arm/configs/micro_ti_lm3s6965_defconfig index 97e94d6d58d..e868926ddb1 100644 --- a/arch/arm/configs/micro_ti_lm3s6965_defconfig +++ b/arch/arm/configs/micro_ti_lm3s6965_defconfig @@ -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" diff --git a/arch/arm/configs/nano_fsl_frdm_k64f_defconfig b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig index 6f6b7ac06ce..392bbd169c5 100644 --- a/arch/arm/configs/nano_fsl_frdm_k64f_defconfig +++ b/arch/arm/configs/nano_fsl_frdm_k64f_defconfig @@ -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" diff --git a/arch/arm/configs/nano_ti_lm3s6965_defconfig b/arch/arm/configs/nano_ti_lm3s6965_defconfig index a840e6f8943..84b69815e59 100644 --- a/arch/arm/configs/nano_ti_lm3s6965_defconfig +++ b/arch/arm/configs/nano_ti_lm3s6965_defconfig @@ -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" diff --git a/arch/arm/defconfig b/arch/arm/defconfig index 295a2425112..7ea40910247 100644 --- a/arch/arm/defconfig +++ b/arch/arm/defconfig @@ -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" diff --git a/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig index 1bbb11dc3fa..1c0c5023460 100644 --- a/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig +++ b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig @@ -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" diff --git a/arch/x86/configs/micro_generic_pc_defconfig b/arch/x86/configs/micro_generic_pc_defconfig index d6b37a9f0a1..55b46b420e8 100644 --- a/arch/x86/configs/micro_generic_pc_defconfig +++ b/arch/x86/configs/micro_generic_pc_defconfig @@ -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" diff --git a/arch/x86/configs/micro_generic_pc_minuteia_defconfig b/arch/x86/configs/micro_generic_pc_minuteia_defconfig index 70bc5a2f0cc..898158b6bf3 100644 --- a/arch/x86/configs/micro_generic_pc_minuteia_defconfig +++ b/arch/x86/configs/micro_generic_pc_minuteia_defconfig @@ -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" diff --git a/arch/x86/configs/micro_generic_pc_pentium4_defconfig b/arch/x86/configs/micro_generic_pc_pentium4_defconfig index 4d0d95b59fa..55b46b420e8 100644 --- a/arch/x86/configs/micro_generic_pc_pentium4_defconfig +++ b/arch/x86/configs/micro_generic_pc_pentium4_defconfig @@ -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" diff --git a/arch/x86/configs/micro_quark_defconfig b/arch/x86/configs/micro_quark_defconfig index 06bedf4ee4f..9faa9796d47 100644 --- a/arch/x86/configs/micro_quark_defconfig +++ b/arch/x86/configs/micro_quark_defconfig @@ -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" diff --git a/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig index 9ed5001e485..d876206afd3 100644 --- a/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig +++ b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig @@ -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" diff --git a/arch/x86/configs/nano_generic_pc_defconfig b/arch/x86/configs/nano_generic_pc_defconfig index 770e7bdd538..d0f8e49ddd5 100644 --- a/arch/x86/configs/nano_generic_pc_defconfig +++ b/arch/x86/configs/nano_generic_pc_defconfig @@ -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" diff --git a/arch/x86/configs/nano_generic_pc_minuteia_defconfig b/arch/x86/configs/nano_generic_pc_minuteia_defconfig index 1e45242b597..a6a50820fb4 100644 --- a/arch/x86/configs/nano_generic_pc_minuteia_defconfig +++ b/arch/x86/configs/nano_generic_pc_minuteia_defconfig @@ -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" diff --git a/arch/x86/configs/nano_generic_pc_pentium4_defconfig b/arch/x86/configs/nano_generic_pc_pentium4_defconfig index c283144d213..d0f8e49ddd5 100644 --- a/arch/x86/configs/nano_generic_pc_pentium4_defconfig +++ b/arch/x86/configs/nano_generic_pc_pentium4_defconfig @@ -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" diff --git a/arch/x86/configs/nano_quark_defconfig b/arch/x86/configs/nano_quark_defconfig index a2280e32bd4..51f00244517 100644 --- a/arch/x86/configs/nano_quark_defconfig +++ b/arch/x86/configs/nano_quark_defconfig @@ -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" diff --git a/arch/x86/defconfig b/arch/x86/defconfig index d6b37a9f0a1..55b46b420e8 100644 --- a/arch/x86/defconfig +++ b/arch/x86/defconfig @@ -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"