-
Bringing an OS up on Raspberry Pi 5: what the RP1, PCIe and the GIC demand from your kernel
Notes from an ARM64 kernel bring-up on the Raspberry Pi 5: almost every peripheral sits behind a PCIe link, DMA is not coherent with the CPU caches, MSIs go through the GIC ITS, secondary…
-
Porting device drivers between Linux and Windows: what actually changes
The hardware does not care which kernel is driving it. Everything else does: request models, interrupt contexts, IRQL versus atomic context, DMA mapping, power management and how a driver reaches users. A side-by-side map…