Kbuild defconfig files.
This commit adds the defconfig files that define the standard configurations for x86 and arm architecture and the standard configurations for the following BSPs for microkernel and nanokernel: - x86 generic pc - x86 quark - arm fsl_frdm_k64f - arm ti_lm3s6965 They can be applied using the make target defconfig. This target will generate the corresponding .config file that will be consumed by the build system. Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com> Change-Id: I128ad52f792eeb61cc80578be5fc3bd427447aaa
This commit is contained in:
Juan Manuel Cruz
Anas Nashif
parent
7ac851afef
commit
73c4417ac9
131
arch/arm/configs/micro_fsl_frdm_k64f_defconfig
Normal file
131
arch/arm/configs/micro_fsl_frdm_k64f_defconfig
Normal file
|
|
@ -0,0 +1,131 @@
|
|||
#
|
||||
# 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=25000000
|
||||
# CONFIG_XIP is not set
|
||||
# CONFIG_ENHANCED_SECURITY is not set
|
||||
|
||||
#
|
||||
# Nanokernel Options
|
||||
#
|
||||
CONFIG_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# CONFIG_TASK_MONITOR is not set
|
||||
# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
|
||||
CONFIG_PRINTK=y
|
||||
CONFIG_BSP_DIR="fsl_frdm_k64f"
|
||||
|
||||
#
|
||||
# ARM family options
|
||||
#
|
||||
CONFIG_ARM=y
|
||||
CONFIG_ISA_THUMB2=y
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
CONFIG_BSP_FSL_FRDM_K64F=y
|
||||
# CONFIG_BSP_TI_LM3S6965 is not set
|
||||
|
||||
#
|
||||
# ARM Cortex CPU options
|
||||
#
|
||||
CONFIG_CPU_CORTEX=y
|
||||
CONFIG_CPU_CORTEXM=y
|
||||
CONFIG_CPU_CORTEXM3=y
|
||||
CONFIG_CPU_CORTEXM4=y
|
||||
|
||||
#
|
||||
# ARM Cortex-M family options
|
||||
#
|
||||
CONFIG_LDREX_STREX_AVAILABLE=y
|
||||
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
||||
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
||||
CONFIG_NUM_IRQS=1
|
||||
CONFIG_STACK_GROWS_DOWN=y
|
||||
CONFIG_NUM_IRQ_PRIO_BITS=4
|
||||
# CONFIG_RUNTIME_NMI is not set
|
||||
CONFIG_FAULT_DUMP=2
|
||||
|
||||
#
|
||||
# ARM Cortex-M3 options
|
||||
#
|
||||
CONFIG_SW_ISR_TABLE=y
|
||||
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
||||
CONFIG_SW_ISR_TABLE_BSP=y
|
||||
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
||||
# CONFIG_ZERO_LATENCY_IRQS is not set
|
||||
CONFIG_ARCH_HAS_TASK_ABORT=y
|
||||
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
||||
CONFIG_WDOG_INIT=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_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
CONFIG_DRV_SERIAL=y
|
||||
# CONFIG_DRV_NS16550 is not set
|
||||
CONFIG_DRV_K20_UART=y
|
||||
# CONFIG_DRV_STELLARIS_UART is not set
|
||||
# CONFIG_DRV_TIMER is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
131
arch/arm/configs/micro_ti_lm3s6965_defconfig
Normal file
131
arch/arm/configs/micro_ti_lm3s6965_defconfig
Normal file
|
|
@ -0,0 +1,131 @@
|
|||
#
|
||||
# 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=12000000
|
||||
# CONFIG_XIP is not set
|
||||
# CONFIG_ENHANCED_SECURITY is not set
|
||||
|
||||
#
|
||||
# Nanokernel Options
|
||||
#
|
||||
CONFIG_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# CONFIG_TASK_MONITOR is not set
|
||||
# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
|
||||
CONFIG_PRINTK=y
|
||||
CONFIG_BSP_DIR="ti_lm3s6965"
|
||||
|
||||
#
|
||||
# ARM family options
|
||||
#
|
||||
CONFIG_ARM=y
|
||||
CONFIG_ISA_THUMB2=y
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
# CONFIG_BSP_FSL_FRDM_K64F is not set
|
||||
CONFIG_BSP_TI_LM3S6965=y
|
||||
|
||||
#
|
||||
# ARM Cortex CPU options
|
||||
#
|
||||
CONFIG_CPU_CORTEX=y
|
||||
CONFIG_CPU_CORTEXM=y
|
||||
CONFIG_CPU_CORTEXM3=y
|
||||
# CONFIG_CPU_CORTEXM4 is not set
|
||||
|
||||
#
|
||||
# ARM Cortex-M family options
|
||||
#
|
||||
CONFIG_LDREX_STREX_AVAILABLE=y
|
||||
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
||||
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
||||
CONFIG_NUM_IRQS=1
|
||||
CONFIG_STACK_GROWS_DOWN=y
|
||||
CONFIG_NUM_IRQ_PRIO_BITS=3
|
||||
# CONFIG_RUNTIME_NMI is not set
|
||||
CONFIG_FAULT_DUMP=2
|
||||
|
||||
#
|
||||
# ARM Cortex-M3 options
|
||||
#
|
||||
CONFIG_SW_ISR_TABLE=y
|
||||
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
||||
CONFIG_SW_ISR_TABLE_BSP=y
|
||||
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
||||
# CONFIG_ZERO_LATENCY_IRQS is not set
|
||||
CONFIG_ARCH_HAS_TASK_ABORT=y
|
||||
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
||||
CONFIG_BSP_TI_LM3S6965_QEMU=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_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
CONFIG_DRV_SERIAL=y
|
||||
# CONFIG_DRV_NS16550 is not set
|
||||
# CONFIG_DRV_K20_UART is not set
|
||||
CONFIG_DRV_STELLARIS_UART=y
|
||||
# CONFIG_DRV_TIMER is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
94
arch/arm/configs/nano_fsl_frdm_k64f_defconfig
Normal file
94
arch/arm/configs/nano_fsl_frdm_k64f_defconfig
Normal file
|
|
@ -0,0 +1,94 @@
|
|||
#
|
||||
# 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=25000000
|
||||
# CONFIG_XIP is not set
|
||||
# CONFIG_ENHANCED_SECURITY is not set
|
||||
|
||||
#
|
||||
# Nanokernel Options
|
||||
#
|
||||
CONFIG_KERNEL_DIR="nkernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
CONFIG_PRINTK=y
|
||||
CONFIG_BSP_DIR="fsl_frdm_k64f"
|
||||
|
||||
#
|
||||
# ARM family options
|
||||
#
|
||||
CONFIG_ARM=y
|
||||
CONFIG_ISA_THUMB2=y
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
CONFIG_BSP_FSL_FRDM_K64F=y
|
||||
# CONFIG_BSP_TI_LM3S6965 is not set
|
||||
|
||||
#
|
||||
# ARM Cortex CPU options
|
||||
#
|
||||
CONFIG_CPU_CORTEX=y
|
||||
CONFIG_CPU_CORTEXM=y
|
||||
CONFIG_CPU_CORTEXM3=y
|
||||
CONFIG_CPU_CORTEXM4=y
|
||||
|
||||
#
|
||||
# ARM Cortex-M family options
|
||||
#
|
||||
CONFIG_LDREX_STREX_AVAILABLE=y
|
||||
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
||||
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
||||
CONFIG_NUM_IRQS=1
|
||||
CONFIG_STACK_GROWS_DOWN=y
|
||||
CONFIG_NUM_IRQ_PRIO_BITS=4
|
||||
# CONFIG_RUNTIME_NMI is not set
|
||||
CONFIG_FAULT_DUMP=2
|
||||
|
||||
#
|
||||
# ARM Cortex-M3 options
|
||||
#
|
||||
CONFIG_SW_ISR_TABLE=y
|
||||
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
||||
CONFIG_SW_ISR_TABLE_BSP=y
|
||||
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
||||
# CONFIG_ZERO_LATENCY_IRQS is not set
|
||||
CONFIG_ARCH_HAS_TASK_ABORT=y
|
||||
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
||||
CONFIG_WDOG_INIT=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_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
CONFIG_DRV_SERIAL=y
|
||||
# CONFIG_DRV_NS16550 is not set
|
||||
CONFIG_DRV_K20_UART=y
|
||||
# CONFIG_DRV_STELLARIS_UART is not set
|
||||
# CONFIG_DRV_TIMER is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
94
arch/arm/configs/nano_ti_lm3s6965_defconfig
Normal file
94
arch/arm/configs/nano_ti_lm3s6965_defconfig
Normal file
|
|
@ -0,0 +1,94 @@
|
|||
#
|
||||
# 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=12000000
|
||||
# CONFIG_XIP is not set
|
||||
# CONFIG_ENHANCED_SECURITY is not set
|
||||
|
||||
#
|
||||
# Nanokernel Options
|
||||
#
|
||||
CONFIG_KERNEL_DIR="nkernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
CONFIG_PRINTK=y
|
||||
CONFIG_BSP_DIR="ti_lm3s6965"
|
||||
|
||||
#
|
||||
# ARM family options
|
||||
#
|
||||
CONFIG_ARM=y
|
||||
CONFIG_ISA_THUMB2=y
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
# CONFIG_BSP_FSL_FRDM_K64F is not set
|
||||
CONFIG_BSP_TI_LM3S6965=y
|
||||
|
||||
#
|
||||
# ARM Cortex CPU options
|
||||
#
|
||||
CONFIG_CPU_CORTEX=y
|
||||
CONFIG_CPU_CORTEXM=y
|
||||
CONFIG_CPU_CORTEXM3=y
|
||||
# CONFIG_CPU_CORTEXM4 is not set
|
||||
|
||||
#
|
||||
# ARM Cortex-M family options
|
||||
#
|
||||
CONFIG_LDREX_STREX_AVAILABLE=y
|
||||
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
||||
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
||||
CONFIG_NUM_IRQS=1
|
||||
CONFIG_STACK_GROWS_DOWN=y
|
||||
CONFIG_NUM_IRQ_PRIO_BITS=3
|
||||
# CONFIG_RUNTIME_NMI is not set
|
||||
CONFIG_FAULT_DUMP=2
|
||||
|
||||
#
|
||||
# ARM Cortex-M3 options
|
||||
#
|
||||
CONFIG_SW_ISR_TABLE=y
|
||||
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
||||
CONFIG_SW_ISR_TABLE_BSP=y
|
||||
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
||||
# CONFIG_ZERO_LATENCY_IRQS is not set
|
||||
CONFIG_ARCH_HAS_TASK_ABORT=y
|
||||
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
||||
CONFIG_BSP_TI_LM3S6965_QEMU=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_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
CONFIG_DRV_SERIAL=y
|
||||
# CONFIG_DRV_NS16550 is not set
|
||||
# CONFIG_DRV_K20_UART is not set
|
||||
CONFIG_DRV_STELLARIS_UART=y
|
||||
# CONFIG_DRV_TIMER is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
131
arch/arm/defconfig
Normal file
131
arch/arm/defconfig
Normal file
|
|
@ -0,0 +1,131 @@
|
|||
#
|
||||
# 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=25000000
|
||||
# CONFIG_XIP is not set
|
||||
# CONFIG_ENHANCED_SECURITY is not set
|
||||
|
||||
#
|
||||
# Nanokernel Options
|
||||
#
|
||||
CONFIG_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# CONFIG_TASK_MONITOR is not set
|
||||
# CONFIG_ADVANCED_POWER_MANAGEMENT is not set
|
||||
CONFIG_PRINTK=y
|
||||
CONFIG_BSP_DIR="fsl_frdm_k64f"
|
||||
|
||||
#
|
||||
# ARM family options
|
||||
#
|
||||
CONFIG_ARM=y
|
||||
CONFIG_ISA_THUMB2=y
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
CONFIG_BSP_FSL_FRDM_K64F=y
|
||||
# CONFIG_BSP_TI_LM3S6965 is not set
|
||||
|
||||
#
|
||||
# ARM Cortex CPU options
|
||||
#
|
||||
CONFIG_CPU_CORTEX=y
|
||||
CONFIG_CPU_CORTEXM=y
|
||||
CONFIG_CPU_CORTEXM3=y
|
||||
CONFIG_CPU_CORTEXM4=y
|
||||
|
||||
#
|
||||
# ARM Cortex-M family options
|
||||
#
|
||||
CONFIG_LDREX_STREX_AVAILABLE=y
|
||||
CONFIG_DATA_ENDIANNESS_LITTLE=y
|
||||
CONFIG_STACK_ALIGN_DOUBLE_WORD=y
|
||||
CONFIG_NUM_IRQS=1
|
||||
CONFIG_STACK_GROWS_DOWN=y
|
||||
CONFIG_NUM_IRQ_PRIO_BITS=4
|
||||
# CONFIG_RUNTIME_NMI is not set
|
||||
CONFIG_FAULT_DUMP=2
|
||||
|
||||
#
|
||||
# ARM Cortex-M3 options
|
||||
#
|
||||
CONFIG_SW_ISR_TABLE=y
|
||||
CONFIG_SW_ISR_TABLE_DYNAMIC=y
|
||||
CONFIG_SW_ISR_TABLE_BSP=y
|
||||
CONFIG_IRQ_VECTOR_TABLE_BSP=y
|
||||
# CONFIG_ZERO_LATENCY_IRQS is not set
|
||||
CONFIG_ARCH_HAS_TASK_ABORT=y
|
||||
CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
|
||||
CONFIG_WDOG_INIT=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_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
CONFIG_DRV_SERIAL=y
|
||||
# CONFIG_DRV_NS16550 is not set
|
||||
CONFIG_DRV_K20_UART=y
|
||||
# CONFIG_DRV_STELLARIS_UART is not set
|
||||
# CONFIG_DRV_TIMER is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
185
arch/x86/configs/micro_generic_pc_defconfig
Normal file
185
arch/x86/configs/micro_generic_pc_defconfig
Normal file
|
|
@ -0,0 +1,185 @@
|
|||
#
|
||||
# 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_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_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# 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
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# System Monitoring Options
|
||||
#
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
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
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
175
arch/x86/configs/micro_quark_defconfig
Normal file
175
arch/x86/configs/micro_quark_defconfig
Normal file
|
|
@ -0,0 +1,175 @@
|
|||
#
|
||||
# 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=25000000
|
||||
# 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_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# 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
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
# CONFIG_BSP_ATOM_N28XX is not set
|
||||
# CONFIG_BSP_PCMINUTEIA is not set
|
||||
# CONFIG_BSP_PCPENTIUM4 is not set
|
||||
CONFIG_BSP_QUARK=y
|
||||
# CONFIG_BSP_GENERIC_PC is not set
|
||||
|
||||
#
|
||||
# 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_SHUTOFF_PIC is not set
|
||||
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
|
||||
CONFIG_BSP_DIR="quark"
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_SERIAL_INTERRUPT_LEVEL=y
|
||||
# CONFIG_SERIAL_INTERRUPT_LOW is not set
|
||||
CONFIG_MAX_PCI_DEVS=8
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
CONFIG_BOOTLOADER_GRUB=y
|
||||
|
||||
#
|
||||
# Serial Ports
|
||||
#
|
||||
|
||||
#
|
||||
# Timer Configuration
|
||||
#
|
||||
CONFIG_HPET_TIMER=y
|
||||
|
||||
#
|
||||
# Interrupt Controller Configuration
|
||||
#
|
||||
CONFIG_IOAPIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# System Monitoring Options
|
||||
#
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
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 is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
148
arch/x86/configs/nano_generic_pc_defconfig
Normal file
148
arch/x86/configs/nano_generic_pc_defconfig
Normal file
|
|
@ -0,0 +1,148 @@
|
|||
#
|
||||
# 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_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_KERNEL_DIR="nkernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
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
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# System Monitoring Options
|
||||
#
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
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
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
138
arch/x86/configs/nano_quark_defconfig
Normal file
138
arch/x86/configs/nano_quark_defconfig
Normal file
|
|
@ -0,0 +1,138 @@
|
|||
#
|
||||
# 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=25000000
|
||||
# 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_KERNEL_DIR="nkernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
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
|
||||
|
||||
#
|
||||
# BSP General Configuration
|
||||
#
|
||||
# CONFIG_BSP_ATOM_N28XX is not set
|
||||
# CONFIG_BSP_PCMINUTEIA is not set
|
||||
# CONFIG_BSP_PCPENTIUM4 is not set
|
||||
CONFIG_BSP_QUARK=y
|
||||
# CONFIG_BSP_GENERIC_PC is not set
|
||||
|
||||
#
|
||||
# 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_SHUTOFF_PIC is not set
|
||||
# CONFIG_CUSTOM_RANDOM_GENERATOR is not set
|
||||
CONFIG_BSP_DIR="quark"
|
||||
CONFIG_EXTRA_SERIAL_PORT=y
|
||||
CONFIG_SERIAL_INTERRUPT_LEVEL=y
|
||||
# CONFIG_SERIAL_INTERRUPT_LOW is not set
|
||||
CONFIG_MAX_PCI_DEVS=8
|
||||
# CONFIG_BOOTLOADER_KEXEC is not set
|
||||
CONFIG_BOOTLOADER_GRUB=y
|
||||
|
||||
#
|
||||
# Serial Ports
|
||||
#
|
||||
|
||||
#
|
||||
# Timer Configuration
|
||||
#
|
||||
CONFIG_HPET_TIMER=y
|
||||
|
||||
#
|
||||
# Interrupt Controller Configuration
|
||||
#
|
||||
CONFIG_IOAPIC=y
|
||||
# CONFIG_LOAPIC is not set
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# System Monitoring Options
|
||||
#
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
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 is not set
|
||||
# CONFIG_DRV_INTCTL is not set
|
||||
# CONFIG_DRV_PCI is not set
|
||||
# CONFIG_DRV_RANDOM is not set
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
185
arch/x86/defconfig
Normal file
185
arch/x86/defconfig
Normal file
|
|
@ -0,0 +1,185 @@
|
|||
#
|
||||
# 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_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_KERNEL_DIR="ukernel"
|
||||
# CONFIG_BOOT_BANNER is not set
|
||||
CONFIG_MAIN_STACK_SIZE=1024
|
||||
CONFIG_ISR_STACK_SIZE=2048
|
||||
|
||||
#
|
||||
# Microkernel Options
|
||||
#
|
||||
|
||||
#
|
||||
# Core Microkernel Options
|
||||
#
|
||||
CONFIG_COMMAND_PACKET=y
|
||||
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_API_MEMMAP=y
|
||||
CONFIG_API_MEMPOOL=y
|
||||
CONFIG_API_TASKIRQ=y
|
||||
CONFIG_MAX_NUM_TASK_IRQS=0
|
||||
CONFIG_API_DONOTHING=y
|
||||
CONFIG_API_OFFLD2FIBER=y
|
||||
CONFIG_API_EVENTS=y
|
||||
CONFIG_API_MAILBOX=y
|
||||
CONFIG_API_MUTEX=y
|
||||
CONFIG_API_FIFO=y
|
||||
CONFIG_API_SEMAPHORES=y
|
||||
CONFIG_API_TIMER=y
|
||||
|
||||
#
|
||||
# Timer API Options
|
||||
#
|
||||
CONFIG_TIMESLICING=y
|
||||
CONFIG_TIMESLICE_SIZE=0
|
||||
CONFIG_TIMESLICE_PRIORITY=0
|
||||
CONFIG_API_CHANNEL=y
|
||||
# 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
|
||||
|
||||
#
|
||||
# Debugging Options
|
||||
#
|
||||
# CONFIG_STDOUT_CONSOLE is not set
|
||||
# CONFIG_ASSERT is not set
|
||||
|
||||
#
|
||||
# System Monitoring Options
|
||||
#
|
||||
|
||||
#
|
||||
# Compile and Link Features
|
||||
#
|
||||
CONFIG_COMPILER_OPT=""
|
||||
CONFIG_SECTION_GARBAGE_COLLECTION=y
|
||||
CONFIG_DRV_CONSOLE=y
|
||||
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
|
||||
# CONFIG_EXPERIMENTAL is not set
|
||||
Loading…
Reference in a new issue