Since microkernel task monitoring is currently experimental anything related to it shouldn't appear in a public include file. Change-Id: Iff0e6137085ed0743fb34e97f5cee1bb98aecaed Signed-off-by: Allan Stephens <allan.stephens@windriver.com> |
||
|---|---|---|
| .. | ||
| k_pipe_buffer.h | ||
| k_pipe_util.h | ||
| kernel_main.h | ||
| kernel_struct.h | ||
| minik.h | ||