0dcad8331b
The term 'context' is vague and overloaded. Its usage for 'an execution
context' is now referred as such, in both comments and some APIs' names.
When the execution context can only be a fiber or a task (i.e. not an
ISR), it is referred to as a 'thread', again in comments and everywhere
in the code.
APIs that had their names changed:
- nano_context_id_t is now nano_thread_id_t
- context_self_get() is now sys_thread_self_get()
- context_type_get() is now sys_execution_context_type_get()
- context_custom_data_set/get() are now
sys_thread_custom_data_set/get()
The 'context' prefix namespace does not have to be reserved by the
kernel anymore.
The Context Control Structure (CCS) data structure is now the Thread
Control Structure (TCS):
- struct ccs is now struct tcs
- tCCS is now tTCS
Change-Id: I7526a76c5b01e7c86333078e2d2e77c9feef5364
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
186 lines
3.6 KiB
Text
186 lines
3.6 KiB
Text
#
|
|
# 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=25000000
|
|
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_THREAD_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_KERNEL_BIN_NAME="microkernel"
|
|
# CONFIG_DEBUG is not set
|
|
CONFIG_COMPILER_OPT=""
|
|
CONFIG_MINIMAL_LIBC=y
|
|
|
|
#
|
|
# Debugging Options
|
|
#
|
|
CONFIG_PRINTK=y
|
|
# CONFIG_STDOUT_CONSOLE is not set
|
|
# CONFIG_ASSERT is not set
|
|
|
|
#
|
|
# Boot Options
|
|
#
|
|
# CONFIG_BOOTLOADER_KEXEC is not set
|
|
CONFIG_BOOTLOADER_UNKNOWN=y
|
|
# CONFIG_PROT_MODE_SWITCH is not set
|
|
|
|
#
|
|
# General Platform Configuration
|
|
#
|
|
# CONFIG_PLATFORM_IA32_PCI is not set
|
|
CONFIG_PLATFORM_IA32=y
|
|
# CONFIG_CPU_ATOM is not set
|
|
CONFIG_CPU_MINUTEIA=y
|
|
# CONFIG_CPU_MIGHT_SUPPORT_CLFLUSH is not set
|
|
|
|
#
|
|
# Platform Capabilities
|
|
#
|
|
# CONFIG_ADVANCED_IDLE_SUPPORTED is not set
|
|
# 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
|
|
CONFIG_NUM_DYNAMIC_STUBS=0
|
|
CONFIG_SHUTOFF_PIC=y
|
|
|
|
#
|
|
# Processor Capabilities
|
|
#
|
|
CONFIG_ISA_IA32=y
|
|
# CONFIG_CMOV is not set
|
|
CONFIG_CPU_FLOAT_UNSUPPORTED=y
|
|
CONFIG_CPU_SSE_UNSUPPORTED=y
|
|
CONFIG_CACHE_LINE_SIZE=0
|
|
|
|
#
|
|
# Bus options (PCI etc.)
|
|
#
|
|
# CONFIG_PCI is not set
|
|
|
|
#
|
|
# 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
|
|
CONFIG_PLATFORM="ia32"
|
|
CONFIG_UART_CONSOLE_INDEX=0
|
|
|
|
#
|
|
# Device Drivers
|
|
#
|
|
# CONFIG_UART_SIMPLE is not set
|
|
CONFIG_CONSOLE=y
|
|
# CONFIG_CONSOLE_HANDLER is not set
|
|
CONFIG_UART_CONSOLE=y
|
|
CONFIG_SERIAL=y
|
|
|
|
#
|
|
# Serial Port Options
|
|
#
|
|
CONFIG_SERIAL_HAS_DRIVER=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_LOAPIC=y
|
|
CONFIG_LOAPIC_BASE_ADDRESS=0xFEE00000
|
|
CONFIG_IOAPIC=y
|
|
CONFIG_IOAPIC_BASE_ADDRESS=0xFEC00000
|
|
CONFIG_IOAPIC_NUM_RTES=24
|
|
|
|
#
|
|
# Timer Drivers
|
|
#
|
|
CONFIG_HPET_TIMER=y
|
|
CONFIG_HPET_TIMER_LEGACY_EMULATION=y
|
|
# CONFIG_HPET_TIMER_DEBUG is not set
|
|
CONFIG_HPET_TIMER_BASE_ADDRESS=0xFED00000
|
|
CONFIG_HPET_TIMER_IRQ=2
|
|
CONFIG_HPET_TIMER_IRQ_PRIORITY=4
|
|
CONFIG_HPET_TIMER_FALLING_EDGE=y
|
|
# CONFIG_HPET_TIMER_RISING_EDGE is not set
|
|
# CONFIG_HPET_TIMER_LEVEL_HIGH is not set
|
|
# CONFIG_HPET_TIMER_LEVEL_LOW is not set
|
|
# CONFIG_LOAPIC_TIMER is not set
|
|
|
|
#
|
|
# 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"
|