From e65cec5c75203283685471b321c7ce55d9a10506 Mon Sep 17 00:00:00 2001 From: Juan Manuel Cruz Date: Tue, 19 May 2015 11:36:11 -0500 Subject: [PATCH] Kbuild: Additional default configuration for x86. This commit adds specific default configuration for various x86 processors: - microkernel/nanokernel atom - microkernel/nanokernel minute ia - microkernel/nanokernel pentium 4 Change-Id: Iafa0eb29a1ee2e3b467dfe1e1f9ddb587200101e Signed-off-by: Juan Manuel Cruz --- .../micro_generic_pc_atom_n28xx_defconfig | 184 ++++++++++++++++++ .../micro_generic_pc_minuteia_defconfig | 170 ++++++++++++++++ .../micro_generic_pc_pentium4_defconfig | 179 +++++++++++++++++ .../nano_generic_pc_atom_n28xx_defconfig | 163 ++++++++++++++++ .../nano_generic_pc_minuteia_defconfig | 149 ++++++++++++++ .../nano_generic_pc_pentium4_defconfig | 158 +++++++++++++++ 6 files changed, 1003 insertions(+) create mode 100644 arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig create mode 100644 arch/x86/configs/micro_generic_pc_minuteia_defconfig create mode 100644 arch/x86/configs/micro_generic_pc_pentium4_defconfig create mode 100644 arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig create mode 100644 arch/x86/configs/nano_generic_pc_minuteia_defconfig create mode 100644 arch/x86/configs/nano_generic_pc_pentium4_defconfig diff --git a/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig new file mode 100644 index 00000000000..7aa2dc3aeb4 --- /dev/null +++ b/arch/x86/configs/micro_generic_pc_atom_n28xx_defconfig @@ -0,0 +1,184 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +# CONFIG_NANOKERNEL is not set +CONFIG_MICROKERNEL=y + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=150000000 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set + +# +# Microkernel Options +# +CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024 +CONFIG_MICROKERNEL_SERVER_PRIORITY=0 +CONFIG_PRIORITY_CEILING=0 +CONFIG_COMMAND_STACK_SIZE=64 +CONFIG_NUM_COMMAND_PACKETS=16 +CONFIG_NUM_TIMER_PACKETS=10 +CONFIG_NUM_TASK_PRIORITIES=16 +CONFIG_MAX_NUM_TASK_IRQS=0 + +# +# Timer API Options +# +CONFIG_TIMESLICING=y +CONFIG_TIMESLICE_SIZE=0 +CONFIG_TIMESLICE_PRIORITY=0 +# CONFIG_TASK_MONITOR is not set +# CONFIG_ADVANCED_POWER_MANAGEMENT is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +# CONFIG_BOI_HANDLER_SUPPORTED is not set +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# Floating Point Options +# + +# +# BSP General Configuration +# +CONFIG_BSP_ATOM_N28XX=y +# CONFIG_BSP_PCMINUTEIA is not set +# CONFIG_BSP_PCPENTIUM4 is not set +# 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 + +# +# Specific CPU Capability Support +# +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 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +# CONFIG_PIC is not set +CONFIG_SHUTOFF_PIC=y + +# +# Floating Point Options +# +# CONFIG_FLOAT is not set +CONFIG_CUSTOM_RANDOM_GENERATOR=y +CONFIG_BSP_DIR="generic_pc" +CONFIG_LOAPIC_TIMER_FREQ=150000000 + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set +CONFIG_LOAPIC_TIMER=y + +# +# Interrupt Controller Configuration +# +CONFIG_IOAPIC=y +CONFIG_LOAPIC=y + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +# CONFIG_PIT is not set +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set diff --git a/arch/x86/configs/micro_generic_pc_minuteia_defconfig b/arch/x86/configs/micro_generic_pc_minuteia_defconfig new file mode 100644 index 00000000000..98e3058ee89 --- /dev/null +++ b/arch/x86/configs/micro_generic_pc_minuteia_defconfig @@ -0,0 +1,170 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +# CONFIG_NANOKERNEL is not set +CONFIG_MICROKERNEL=y + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set + +# +# Microkernel Options +# +CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024 +CONFIG_MICROKERNEL_SERVER_PRIORITY=0 +CONFIG_PRIORITY_CEILING=0 +CONFIG_COMMAND_STACK_SIZE=64 +CONFIG_NUM_COMMAND_PACKETS=16 +CONFIG_NUM_TIMER_PACKETS=10 +CONFIG_NUM_TASK_PRIORITIES=16 +CONFIG_MAX_NUM_TASK_IRQS=0 + +# +# Timer API Options +# +CONFIG_TIMESLICING=y +CONFIG_TIMESLICE_SIZE=0 +CONFIG_TIMESLICE_PRIORITY=0 +# CONFIG_TASK_MONITOR is not set +# CONFIG_ADVANCED_POWER_MANAGEMENT is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +CONFIG_BOI_HANDLER_SUPPORTED=y +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# BSP General Configuration +# +# CONFIG_BSP_ATOM_N28XX is not set +CONFIG_BSP_PCMINUTEIA=y +# CONFIG_BSP_PCPENTIUM4 is not set +# CONFIG_BSP_QUARK is not set +CONFIG_BSP_GENERIC_PC=y + +# +# Intel Processor +# +CONFIG_CPU_MINUTEIA=y +# CONFIG_CPU_PENTIUM4 is not set +# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set + +# +# Specific CPU Capability Support +# +CONFIG_ISA_IA32=y +CONFIG_HARDWARE_BP_SUPPORTED=y +# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set +CONFIG_CMOV_UNSUPPORTED=y +CONFIG_CPU_FLOAT_UNSUPPORTED=y +CONFIG_CPU_SSE_UNSUPPORTED=y +CONFIG_CACHE_LINE_SIZE=0 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +CONFIG_PIC=y +# CONFIG_CUSTOM_RANDOM_GENERATOR is not set +CONFIG_BSP_DIR="generic_pc" + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set + +# +# Interrupt Controller Configuration +# +# CONFIG_IOAPIC is not set +# CONFIG_LOAPIC is not set + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +CONFIG_PIT=y +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set diff --git a/arch/x86/configs/micro_generic_pc_pentium4_defconfig b/arch/x86/configs/micro_generic_pc_pentium4_defconfig new file mode 100644 index 00000000000..bfa96f80000 --- /dev/null +++ b/arch/x86/configs/micro_generic_pc_pentium4_defconfig @@ -0,0 +1,179 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +# CONFIG_NANOKERNEL is not set +CONFIG_MICROKERNEL=y + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set + +# +# Microkernel Options +# +CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024 +CONFIG_MICROKERNEL_SERVER_PRIORITY=0 +CONFIG_PRIORITY_CEILING=0 +CONFIG_COMMAND_STACK_SIZE=64 +CONFIG_NUM_COMMAND_PACKETS=16 +CONFIG_NUM_TIMER_PACKETS=10 +CONFIG_NUM_TASK_PRIORITIES=16 +CONFIG_MAX_NUM_TASK_IRQS=0 + +# +# Timer API Options +# +CONFIG_TIMESLICING=y +CONFIG_TIMESLICE_SIZE=0 +CONFIG_TIMESLICE_PRIORITY=0 +# CONFIG_TASK_MONITOR is not set +# CONFIG_ADVANCED_POWER_MANAGEMENT is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +CONFIG_BOI_HANDLER_SUPPORTED=y +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# Floating Point Options +# + +# +# BSP General Configuration +# +# CONFIG_BSP_ATOM_N28XX is not set +# CONFIG_BSP_PCMINUTEIA is not set +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 + +# +# Specific CPU Capability Support +# +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 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +CONFIG_PIC=y + +# +# Floating Point Options +# +# CONFIG_FLOAT is not set +# CONFIG_CUSTOM_RANDOM_GENERATOR is not set +CONFIG_BSP_DIR="generic_pc" + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set + +# +# Interrupt Controller Configuration +# +# CONFIG_IOAPIC is not set +# CONFIG_LOAPIC is not set + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +CONFIG_PIT=y +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set diff --git a/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig new file mode 100644 index 00000000000..7fc8b9e71d8 --- /dev/null +++ b/arch/x86/configs/nano_generic_pc_atom_n28xx_defconfig @@ -0,0 +1,163 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +CONFIG_NANOKERNEL=y +# CONFIG_MICROKERNEL is not set + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=150000000 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +# CONFIG_BOI_HANDLER_SUPPORTED is not set +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# Floating Point Options +# + +# +# BSP General Configuration +# +CONFIG_BSP_ATOM_N28XX=y +# CONFIG_BSP_PCMINUTEIA is not set +# CONFIG_BSP_PCPENTIUM4 is not set +# 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 + +# +# Specific CPU Capability Support +# +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 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +# CONFIG_PIC is not set +CONFIG_SHUTOFF_PIC=y + +# +# Floating Point Options +# +# CONFIG_FLOAT is not set +CONFIG_CUSTOM_RANDOM_GENERATOR=y +CONFIG_BSP_DIR="generic_pc" +CONFIG_LOAPIC_TIMER_FREQ=150000000 + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y +CONFIG_SERIAL_INTERRUPT_LEVEL=y +# CONFIG_SERIAL_INTERRUPT_LOW is not set + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set +CONFIG_LOAPIC_TIMER=y + +# +# Interrupt Controller Configuration +# +CONFIG_IOAPIC=y +CONFIG_LOAPIC=y + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +# CONFIG_PIT is not set +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set diff --git a/arch/x86/configs/nano_generic_pc_minuteia_defconfig b/arch/x86/configs/nano_generic_pc_minuteia_defconfig new file mode 100644 index 00000000000..da3f81b73c4 --- /dev/null +++ b/arch/x86/configs/nano_generic_pc_minuteia_defconfig @@ -0,0 +1,149 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +CONFIG_NANOKERNEL=y +# CONFIG_MICROKERNEL is not set + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +CONFIG_BOI_HANDLER_SUPPORTED=y +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# BSP General Configuration +# +# CONFIG_BSP_ATOM_N28XX is not set +CONFIG_BSP_PCMINUTEIA=y +# CONFIG_BSP_PCPENTIUM4 is not set +# CONFIG_BSP_QUARK is not set +CONFIG_BSP_GENERIC_PC=y + +# +# Intel Processor +# +CONFIG_CPU_MINUTEIA=y +# CONFIG_CPU_PENTIUM4 is not set +# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set + +# +# Specific CPU Capability Support +# +CONFIG_ISA_IA32=y +CONFIG_HARDWARE_BP_SUPPORTED=y +# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set +CONFIG_CMOV_UNSUPPORTED=y +CONFIG_CPU_FLOAT_UNSUPPORTED=y +CONFIG_CPU_SSE_UNSUPPORTED=y +CONFIG_CACHE_LINE_SIZE=0 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +CONFIG_PIC=y +# CONFIG_CUSTOM_RANDOM_GENERATOR is not set +CONFIG_BSP_DIR="generic_pc" + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set + +# +# Interrupt Controller Configuration +# +# CONFIG_IOAPIC is not set +# CONFIG_LOAPIC is not set + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +CONFIG_PIT=y +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set diff --git a/arch/x86/configs/nano_generic_pc_pentium4_defconfig b/arch/x86/configs/nano_generic_pc_pentium4_defconfig new file mode 100644 index 00000000000..eca9c25f266 --- /dev/null +++ b/arch/x86/configs/nano_generic_pc_pentium4_defconfig @@ -0,0 +1,158 @@ +# +# Automatically generated file; DO NOT EDIT. +# Tiny Mountain Build Options +# +CONFIG_NANOKERNEL=y +# CONFIG_MICROKERNEL is not set + +# +# General Kernel Options +# +CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 +CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=1193180 +CONFIG_SYS_CLOCK_EXISTS=y +# CONFIG_INIT_STACKS is not set +# CONFIG_XIP is not set +CONFIG_ENHANCED_SECURITY=y + +# +# Security Options +# +# CONFIG_CUSTOM_SECURITY is not set +# CONFIG_STACK_CANARIES is not set + +# +# Nanokernel Options +# +# CONFIG_BOOT_BANNER is not set +CONFIG_MAIN_STACK_SIZE=1024 +CONFIG_ISR_STACK_SIZE=2048 +# CONFIG_CONTEXT_CUSTOM_DATA is not set +CONFIG_PRINTK=y + +# +# x86 Core Options +# +# CONFIG_NO_ISRS is not set + +# +# Memory Layout Options +# +CONFIG_IDT_NUM_VECTORS=256 +CONFIG_NUM_GDT_SPARE_ENTRIES=0 +CONFIG_PHYS_LOAD_ADDR=0x00100000 + +# +# Board Capabilities +# +CONFIG_BOI_HANDLER_SUPPORTED=y +CONFIG_EOI_HANDLER_SUPPORTED=y +# CONFIG_UNALIGNED_WRITE_UNSUPPORTED is not set +# CONFIG_LOCK_INSTRUCTION_UNSUPPORTED is not set + +# +# Floating Point Options +# + +# +# BSP General Configuration +# +# CONFIG_BSP_ATOM_N28XX is not set +# CONFIG_BSP_PCMINUTEIA is not set +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 + +# +# Specific CPU Capability Support +# +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 + +# +# Specific BSP Capability Support +# +# CONFIG_DYNAMIC_INT_STUBS is not set +# CONFIG_PROT_MODE_SWITCH_PROMPT is not set +# CONFIG_ADVANCED_IDLE_SUPPORTED is not set + +# +# Boot Sequence Options +# +CONFIG_BOOTLOADER_UNKNOWN=y +CONFIG_PIC=y + +# +# Floating Point Options +# +# CONFIG_FLOAT is not set +# CONFIG_CUSTOM_RANDOM_GENERATOR is not set +CONFIG_BSP_DIR="generic_pc" + +# +# Serial Ports +# +CONFIG_EXTRA_SERIAL_PORT=y + +# +# Timer Configuration +# +# CONFIG_HPET_TIMER is not set + +# +# Interrupt Controller Configuration +# +# CONFIG_IOAPIC is not set +# CONFIG_LOAPIC is not set + +# +# General Setup +# +CONFIG_CROSS_COMPILE="" +CONFIG_MINIMAL_LIBC=y + +# +# Debugging Options +# +# CONFIG_STDOUT_CONSOLE is not set +# CONFIG_ASSERT is not set + +# +# System Monitoring Options +# + +# +# Compile and Link Features +# +CONFIG_COMPILER_OPT="" +# CONFIG_BLUETOOTH is not set +CONFIG_DRV_CONSOLE=y +# CONFIG_UART_INTERRUPT_DRIVEN is not set +# CONFIG_CONSOLE_HANDLER is not set +CONFIG_DRV_SERIAL=y +CONFIG_DRV_NS16550=y +# CONFIG_DRV_K20_UART is not set +# CONFIG_DRV_STELLARIS_UART is not set +CONFIG_DRV_TIMER=y +CONFIG_PIT=y +CONFIG_DRV_INTCTL=y +# CONFIG_DRV_PCI is not set +# CONFIG_DRV_RANDOM is not set + +# +# Random Generation Configuration +# +# CONFIG_TEST_RANDOM_GENERATOR is not set +# CONFIG_EXPERIMENTAL is not set