T-Kernel 2.0 is a standardized, highly-efficient Real-Time Operating System (RTOS) kernel designed for embedded systems and multi-core processors. It provides fine-grained task management, priority-based preemptive scheduling, synchronization primitives, memory management, and hardware abstraction stubs.
Detailed architecture of Task Control Blocks (TCB), Task State Transitions, Priority Scheduling, Semaphores, Eventflags, Mailboxes, Mutexes, Memory Pools, Timers, and Subsystems.
Hardware boot sequence, early system memory layout, interrupt vector configuration, `tkstart` entry point, and handover to the `sysmain` entry task.
Setting up QEMU emulation targets (`TEF_EM1D`, Raspberry Pi, ARM virt), VirtIO MMIO device bus binding, serial console output, and bare-metal debugging.