arch/x86: Remove unsupported platform configuration files
Removes the generic_pc and generic_pc_pentium4 platform configuration files as Zephyr will not support them. Change-Id: Iffa917d8e31702e6280eca3cbc9cdaf3f8ed9c98 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis
Anas Nashif
parent
9690835e32
commit
42f8ae553f
5 changed files with 1 additions and 717 deletions
|
|
@ -1,187 +0,0 @@
|
|||
#
|
||||
# Automatically generated file; DO NOT EDIT.
|
||||
# Zephyr Kernel/x86 Configuration
|
||||
#
|
||||
CONFIG_X86_32=y
|
||||
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
|
||||
# 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
|
||||
# CONFIG_NANO_TIMEOUTS is not set
|
||||
# CONFIG_NANO_TIMERS 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
|
||||
|
||||
#
|
||||
# General Setup
|
||||
#
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
CONFIG_CROSS_COMPILE=""
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_MINIMAL_LIBC=y
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
CONFIG_PRINTK=y
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# Bootloader Options
|
||||
#
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
# CONFIG_BOOTLOADER_GRUB is not set
|
||||
CONFIG_BOOTLOADER_UNKNOWN=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
|
||||
|
||||
#
|
||||
# Platform General Configuration
|
||||
#
|
||||
# CONFIG_PLATFORM_ATOM_N28XX is not set
|
||||
# CONFIG_PLATFORM_PCMINUTEIA is not set
|
||||
CONFIG_PLATFORM_PCPENTIUM4=y
|
||||
# CONFIG_PLATFORM_QUARK is not set
|
||||
CONFIG_PLATFORM_GENERIC_PC=y
|
||||
# CONFIG_CPU_ATOM is not set
|
||||
# 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_CPU_SSE_UNSUPPORTED is not set
|
||||
CONFIG_CACHE_LINE_SIZE=64
|
||||
|
||||
#
|
||||
# Specific Platform Capability Support
|
||||
#
|
||||
CONFIG_NUM_DYNAMIC_STUBS=0
|
||||
# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
|
||||
# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
|
||||
|
||||
#
|
||||
# Floating Point Options
|
||||
#
|
||||
# CONFIG_FLOAT is not set
|
||||
|
||||
#
|
||||
# Bus options (PCI etc.)
|
||||
#
|
||||
# CONFIG_PCI is not set
|
||||
CONFIG_PLATFORM="generic_pc"
|
||||
CONFIG_UART_CONSOLE_INDEX=0
|
||||
|
||||
#
|
||||
# Device Drivers
|
||||
#
|
||||
# CONFIG_UART_SIMPLE is not set
|
||||
# CONFIG_CONSOLE_HANDLER is not set
|
||||
|
||||
#
|
||||
# Serial Drivers
|
||||
#
|
||||
|
||||
#
|
||||
# Serial Port Options
|
||||
#
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_NS16550=y
|
||||
# CONFIG_K20_UART is not set
|
||||
# CONFIG_STELLARIS_UART is not set
|
||||
# CONFIG_UART_INTERRUPT_DRIVEN is not set
|
||||
|
||||
#
|
||||
# Interrupt Controllers
|
||||
#
|
||||
CONFIG_PIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
# CONFIG_IOAPIC is not set
|
||||
|
||||
#
|
||||
# Timer Drivers
|
||||
#
|
||||
# CONFIG_HPET_TIMER is not set
|
||||
CONFIG_PIT=y
|
||||
|
||||
#
|
||||
# Random Generation Configuration
|
||||
#
|
||||
# CONFIG_RANDOM_GENERATOR is not set
|
||||
# CONFIG_TEST_RANDOM_GENERATOR is not set
|
||||
|
||||
#
|
||||
# Networking
|
||||
#
|
||||
# CONFIG_BLUETOOTH is not set
|
||||
# CONFIG_NETWORKING is not set
|
||||
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
|
||||
|
|
@ -1,187 +0,0 @@
|
|||
#
|
||||
# Automatically generated file; DO NOT EDIT.
|
||||
# Zephyr Kernel/x86 Configuration
|
||||
#
|
||||
CONFIG_X86_32=y
|
||||
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
|
||||
# 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
|
||||
# CONFIG_NANO_TIMEOUTS is not set
|
||||
# CONFIG_NANO_TIMERS 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
|
||||
|
||||
#
|
||||
# General Setup
|
||||
#
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
CONFIG_CROSS_COMPILE=""
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_MINIMAL_LIBC=y
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
CONFIG_PRINTK=y
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# Bootloader Options
|
||||
#
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
# CONFIG_BOOTLOADER_GRUB is not set
|
||||
CONFIG_BOOTLOADER_UNKNOWN=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
|
||||
|
||||
#
|
||||
# Platform General Configuration
|
||||
#
|
||||
# CONFIG_PLATFORM_ATOM_N28XX is not set
|
||||
# CONFIG_PLATFORM_PCMINUTEIA is not set
|
||||
CONFIG_PLATFORM_PCPENTIUM4=y
|
||||
# CONFIG_PLATFORM_QUARK is not set
|
||||
CONFIG_PLATFORM_GENERIC_PC=y
|
||||
# CONFIG_CPU_ATOM is not set
|
||||
# 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_CPU_SSE_UNSUPPORTED is not set
|
||||
CONFIG_CACHE_LINE_SIZE=64
|
||||
|
||||
#
|
||||
# Specific Platform Capability Support
|
||||
#
|
||||
CONFIG_NUM_DYNAMIC_STUBS=0
|
||||
# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
|
||||
# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
|
||||
|
||||
#
|
||||
# Floating Point Options
|
||||
#
|
||||
# CONFIG_FLOAT is not set
|
||||
|
||||
#
|
||||
# Bus options (PCI etc.)
|
||||
#
|
||||
# CONFIG_PCI is not set
|
||||
CONFIG_PLATFORM="generic_pc"
|
||||
CONFIG_UART_CONSOLE_INDEX=0
|
||||
|
||||
#
|
||||
# Device Drivers
|
||||
#
|
||||
# CONFIG_UART_SIMPLE is not set
|
||||
# CONFIG_CONSOLE_HANDLER is not set
|
||||
|
||||
#
|
||||
# Serial Drivers
|
||||
#
|
||||
|
||||
#
|
||||
# Serial Port Options
|
||||
#
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_NS16550=y
|
||||
# CONFIG_K20_UART is not set
|
||||
# CONFIG_STELLARIS_UART is not set
|
||||
# CONFIG_UART_INTERRUPT_DRIVEN is not set
|
||||
|
||||
#
|
||||
# Interrupt Controllers
|
||||
#
|
||||
CONFIG_PIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
# CONFIG_IOAPIC is not set
|
||||
|
||||
#
|
||||
# Timer Drivers
|
||||
#
|
||||
# CONFIG_HPET_TIMER is not set
|
||||
CONFIG_PIT=y
|
||||
|
||||
#
|
||||
# Random Generation Configuration
|
||||
#
|
||||
# CONFIG_RANDOM_GENERATOR is not set
|
||||
# CONFIG_TEST_RANDOM_GENERATOR is not set
|
||||
|
||||
#
|
||||
# Networking
|
||||
#
|
||||
# CONFIG_BLUETOOTH is not set
|
||||
# CONFIG_NETWORKING is not set
|
||||
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
|
||||
|
|
@ -1,166 +0,0 @@
|
|||
#
|
||||
# Automatically generated file; DO NOT EDIT.
|
||||
# Zephyr Kernel/x86 Configuration
|
||||
#
|
||||
CONFIG_X86_32=y
|
||||
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
|
||||
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_NANO_TIMEOUTS is not set
|
||||
CONFIG_NANO_TIMERS=y
|
||||
|
||||
#
|
||||
# General Setup
|
||||
#
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
CONFIG_CROSS_COMPILE=""
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_MINIMAL_LIBC=y
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
CONFIG_PRINTK=y
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# Bootloader Options
|
||||
#
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
# CONFIG_BOOTLOADER_GRUB is not set
|
||||
CONFIG_BOOTLOADER_UNKNOWN=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
|
||||
|
||||
#
|
||||
# Platform General Configuration
|
||||
#
|
||||
# CONFIG_PLATFORM_ATOM_N28XX is not set
|
||||
# CONFIG_PLATFORM_PCMINUTEIA is not set
|
||||
CONFIG_PLATFORM_PCPENTIUM4=y
|
||||
# CONFIG_PLATFORM_QUARK is not set
|
||||
CONFIG_PLATFORM_GENERIC_PC=y
|
||||
# CONFIG_CPU_ATOM is not set
|
||||
# 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_CPU_SSE_UNSUPPORTED is not set
|
||||
CONFIG_CACHE_LINE_SIZE=64
|
||||
|
||||
#
|
||||
# Specific Platform Capability Support
|
||||
#
|
||||
CONFIG_NUM_DYNAMIC_STUBS=0
|
||||
# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
|
||||
# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
|
||||
|
||||
#
|
||||
# Floating Point Options
|
||||
#
|
||||
# CONFIG_FLOAT is not set
|
||||
|
||||
#
|
||||
# Bus options (PCI etc.)
|
||||
#
|
||||
# CONFIG_PCI is not set
|
||||
CONFIG_PLATFORM="generic_pc"
|
||||
CONFIG_UART_CONSOLE_INDEX=0
|
||||
|
||||
#
|
||||
# Device Drivers
|
||||
#
|
||||
# CONFIG_UART_SIMPLE is not set
|
||||
# CONFIG_CONSOLE_HANDLER is not set
|
||||
|
||||
#
|
||||
# Serial Drivers
|
||||
#
|
||||
|
||||
#
|
||||
# Serial Port Options
|
||||
#
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_NS16550=y
|
||||
# CONFIG_K20_UART is not set
|
||||
# CONFIG_STELLARIS_UART is not set
|
||||
# CONFIG_UART_INTERRUPT_DRIVEN is not set
|
||||
|
||||
#
|
||||
# Interrupt Controllers
|
||||
#
|
||||
CONFIG_PIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
# CONFIG_IOAPIC is not set
|
||||
|
||||
#
|
||||
# Timer Drivers
|
||||
#
|
||||
# CONFIG_HPET_TIMER is not set
|
||||
CONFIG_PIT=y
|
||||
|
||||
#
|
||||
# Random Generation Configuration
|
||||
#
|
||||
# CONFIG_RANDOM_GENERATOR is not set
|
||||
# CONFIG_TEST_RANDOM_GENERATOR is not set
|
||||
|
||||
#
|
||||
# Networking
|
||||
#
|
||||
# CONFIG_BLUETOOTH is not set
|
||||
# CONFIG_NETWORKING is not set
|
||||
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
|
||||
|
|
@ -1,166 +0,0 @@
|
|||
#
|
||||
# Automatically generated file; DO NOT EDIT.
|
||||
# Zephyr Kernel/x86 Configuration
|
||||
#
|
||||
CONFIG_X86_32=y
|
||||
CONFIG_ARCH_DEFCONFIG="arch/x86/defconfig"
|
||||
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_NANO_TIMEOUTS is not set
|
||||
CONFIG_NANO_TIMERS=y
|
||||
|
||||
#
|
||||
# General Setup
|
||||
#
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
CONFIG_CROSS_COMPILE=""
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_MINIMAL_LIBC=y
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
CONFIG_PRINTK=y
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# Bootloader Options
|
||||
#
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
# CONFIG_BOOTLOADER_GRUB is not set
|
||||
CONFIG_BOOTLOADER_UNKNOWN=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
|
||||
|
||||
#
|
||||
# Platform General Configuration
|
||||
#
|
||||
# CONFIG_PLATFORM_ATOM_N28XX is not set
|
||||
# CONFIG_PLATFORM_PCMINUTEIA is not set
|
||||
CONFIG_PLATFORM_PCPENTIUM4=y
|
||||
# CONFIG_PLATFORM_QUARK is not set
|
||||
CONFIG_PLATFORM_GENERIC_PC=y
|
||||
# CONFIG_CPU_ATOM is not set
|
||||
# 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_CPU_SSE_UNSUPPORTED is not set
|
||||
CONFIG_CACHE_LINE_SIZE=64
|
||||
|
||||
#
|
||||
# Specific Platform Capability Support
|
||||
#
|
||||
CONFIG_NUM_DYNAMIC_STUBS=0
|
||||
# CONFIG_PROT_MODE_SWITCH_PROMPT is not set
|
||||
# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
|
||||
|
||||
#
|
||||
# Floating Point Options
|
||||
#
|
||||
# CONFIG_FLOAT is not set
|
||||
|
||||
#
|
||||
# Bus options (PCI etc.)
|
||||
#
|
||||
# CONFIG_PCI is not set
|
||||
CONFIG_PLATFORM="generic_pc"
|
||||
CONFIG_UART_CONSOLE_INDEX=0
|
||||
|
||||
#
|
||||
# Device Drivers
|
||||
#
|
||||
# CONFIG_UART_SIMPLE is not set
|
||||
# CONFIG_CONSOLE_HANDLER is not set
|
||||
|
||||
#
|
||||
# Serial Drivers
|
||||
#
|
||||
|
||||
#
|
||||
# Serial Port Options
|
||||
#
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_NS16550=y
|
||||
# CONFIG_K20_UART is not set
|
||||
# CONFIG_STELLARIS_UART is not set
|
||||
# CONFIG_UART_INTERRUPT_DRIVEN is not set
|
||||
|
||||
#
|
||||
# Interrupt Controllers
|
||||
#
|
||||
CONFIG_PIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
# CONFIG_IOAPIC is not set
|
||||
|
||||
#
|
||||
# Timer Drivers
|
||||
#
|
||||
# CONFIG_HPET_TIMER is not set
|
||||
CONFIG_PIT=y
|
||||
|
||||
#
|
||||
# Random Generation Configuration
|
||||
#
|
||||
# CONFIG_RANDOM_GENERATOR is not set
|
||||
# CONFIG_TEST_RANDOM_GENERATOR is not set
|
||||
|
||||
#
|
||||
# Networking
|
||||
#
|
||||
# CONFIG_BLUETOOTH is not set
|
||||
# CONFIG_NETWORKING is not set
|
||||
CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
|
||||
|
|
@ -118,7 +118,7 @@ type of kernel and the platform that is defined within the file.
|
|||
All the defconfig files must end with the suffix defconfig.
|
||||
For example, :file:`micro_quark_defconfig` contains the configuration
|
||||
information for the microkernel architecture for the quark platform and
|
||||
:file:`nano_generic_pc_pentium4` contains the configuration
|
||||
:file:`nano_generic_pc_atom_n28xx` contains the configuration
|
||||
information for the nanokernel architecture for the generic PC platform
|
||||
with the Pentium processor platform variant.
|
||||
|
||||
|
|
@ -459,30 +459,20 @@ x86 Supported default configuration files
|
|||
|
||||
* **micro_quark_defconfig** Builds for microkernel Quark.
|
||||
|
||||
* **micro_generic_pc_defconfig:** Builds for microkernel generic PC.
|
||||
|
||||
* **micro_generic_pc_atom_n28xx_defconfig:** Builds for microkernel
|
||||
generic PC atom n28xx processor.
|
||||
|
||||
* **micro_generic_pc_minuteia_defconfig:** Builds for microkernel
|
||||
generic PC minuteia processor.
|
||||
|
||||
* **micro_generic_pc_pentium4_defconfig:** Builds for microkernel
|
||||
generic PC Pentium4.
|
||||
|
||||
* **nano_quark_defconfig:** Builds for nanokernel Quark.
|
||||
|
||||
* **nano_generic_pc_defconfig:** Builds for nanokernel generic PC.
|
||||
|
||||
* **nano_generic_pc_atom_n28xx_defconfig:** - Builds for nanokernel
|
||||
generic PC atom n28xx.
|
||||
|
||||
* **nano_generic_pc_minuteia_defconfig:** Builds for nanokernel
|
||||
generic PC minuteia.
|
||||
|
||||
* **nano_generic_pc_pentium4_defconfig**: Builds for nanokernel
|
||||
generic PC Pentium4.
|
||||
|
||||
|
||||
arm Supported default configuration files
|
||||
=========================================
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue