kernel.h File Reference

Kernel interface: initialization, uptime, and heap statistics. More...

#include <stdint.h>
#include <stddef.h>

Include dependency graph for kernel.h:

Go to the source code of this file.

Data Structures
struct	k_heap_stats_t
	Heap usage snapshot filled by k_heap_stats(). More...
struct	k_stack_stats_t
	Main-stack usage filled by k_stack_stats(). More...

Functions
void	k_init (void)
	Initialize kernel services and the standard streams.
Uptime
void	k_uptime_init (void)
	Start the 1 kHz system timer and register /dev/uptime.
uint64_t	k_uptime_ms (void)
	Read the uptime clock.
void	k_tick (void)
	Advance the uptime clock by one millisecond.
Heap statistics
void	k_heap_stats (k_heap_stats_t *stats)
	Capture current heap usage.

Stack statistics
#define	K_STACK_FILL_WORD   0xA5A5A5A5U
	Word written over the unused main stack at reset.
void	k_stack_stats (k_stack_stats_t *stats)
	Measure the main stack's high-water mark.

Detailed Description

Kernel interface: initialization, uptime, and heap statistics.