zephyr/kernel/microkernel
Allan Stephens a139256afc Enhance microkernel command stack size bounds checking
Ensures that the microkernel's command stack has at least one element
at project configuration time, rather than at project build time.

Change-Id: I74f10bcb0d0275854801b50d5160fc85fb911250
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
2016-02-05 20:13:58 -05:00
..
channel Eliminate unnecessary K_TIMER type 2016-02-05 20:13:55 -05:00
include Continue limiting exposure of microkernel APIs needed by sysgen 2016-02-05 20:13:55 -05:00
cmdPkt.c Rename cmdpacket to cmd_packet 2016-02-05 20:13:53 -05:00
defs.objs Eliminate microkernel/movedata sub-directory 2016-02-05 20:13:51 -05:00
global.c Enhance microkernel command stack size bounds checking 2016-02-05 20:13:58 -05:00
idle.c Consolidate (most) microkernel non-public API declarations 2016-02-05 20:13:55 -05:00
k_event.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_irq.c Allow task IRQ code to support tickless kernel 2016-02-05 20:13:49 -05:00
k_mbox.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_memmap.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_mempool.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_mutex.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_nop.c Renaming K_nop to _k_nop 2016-02-05 20:13:48 -05:00
k_offload.c Renaming K_offload to _k_offload_to_fiber 2016-02-05 20:13:48 -05:00
k_queue.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_sema.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00
k_task.c Consolidate (most) microkernel non-public API declarations 2016-02-05 20:13:55 -05:00
k_timer.c Eliminate unnecessary K_TIMER type 2016-02-05 20:13:55 -05:00
movedata.c Delete unnecessary kmemcpy.h file 2016-02-05 20:13:55 -05:00
server.c Continue limiting exposure of microkernel APIs needed by sysgen 2016-02-05 20:13:55 -05:00
task_monitor.c Consolidate (most) microkernel non-public API declarations 2016-02-05 20:13:55 -05:00
ticker.c Rename hidden TICKLESS_KERNEL config option to SYS_CLOCK_EXISTS 2016-02-05 20:13:55 -05:00