zephyr/kernel/microkernel
Yonattan Louise 86ea4e6827 OS Awareness: Add microkernel object tracing.
Add a list for each kind of microkernel object. Add the register of
the public objects to the tracing lists in the dynamic initialization
function of sysgen.

Change-Id: I8c413812e4db0f443c9dd3a5501e0096270dc70e
Signed-off-by: Yonattan Louise <yonattan.a.louise.mendoza@intel.com>
2016-02-05 20:24:32 -05:00
..
include OS Awareness: Add microkernel object tracing. 2016-02-05 20:24:32 -05:00
Kconfig Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
Makefile Rename microkernel's global.c to k_init.c 2016-02-05 20:14:25 -05:00
k_command_packet.c microkernel: Don't initialize packets in a command packet set 2016-02-05 20:24:29 -05:00
k_event.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_fifo.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_idle.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_init.c init: Support fine-grained device initialization priorities 2016-02-05 20:24:30 -05:00
k_irq.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_mailbox.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_memory_map.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_memory_pool.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_move_data.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_mutex.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_nop.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_offload.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_buffer.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_get.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_put.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_util.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_xfer.c checkpatch: error - trailing_whitespace 2016-02-05 20:24:31 -05:00
k_semaphore.c microkernel: Don't initialize packets in a command packet set 2016-02-05 20:24:29 -05:00
k_server.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_task.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_task_monitor.c checkpatch: error - initialised_static 2016-02-05 20:24:31 -05:00
k_ticker.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_timer.c checkpatch: error - trailing_whitespace 2016-02-05 20:24:31 -05:00