Kernel

Threads, synchronization, interrupts and scheduling (pbl/kernel). More...

Modules
	Compiler abstraction
	Attributes and builtins, independent of the compiler.
	Introspection
	Thread introspection for core dumps, fault handling, the task watchdog and telemetry.
	Idle and tick
	Interface between the kernel and the SoC's tickless idle code.
	Boot
	SoC hook in the kernel's reset path.
	Interrupts
	Interrupt locking and build-time interrupt binding.
	Message queues
	Fixed-size message rings that copy messages in and out.
	Mutexes
	Recursive mutexes with priority inheritance.
	Poll groups
	Waiting on several message queues at once.
	Scheduler
	Scheduler start, preemption control and uptime.
	Code and data placement
	Placement of code and data in special sections.
	Semaphores
	Counting semaphores; a binary semaphore has limit 1.
	Threads
	Thread creation, lifecycle and per-thread state.
	Time and priorities
	Ticks, timeouts and thread priorities shared by every kernel object.

Detailed Description

Threads, synchronization, interrupts and scheduling (pbl/kernel).