Embedded intelligence
Firmware that runs deterministically on constrained targets and still makes decisions worth trusting. Register-level bring-up, interrupt and DMA architecture, RTOS scheduling, and the interfaces between hardware and the software that depends on it.