-
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…
-
ARM64 SMP bugs are memory-ordering bugs until proven otherwise
Code that ran for years on x86 falls over one boot in fifty on a four-core Cortex-A76. The six patterns behind almost every such failure we have chased, the barriers that fix them, and…
-
Debugging a kernel you cannot attach a debugger to
Silent resets, hangs with no console output, faults that only appear on the fourth core: the toolkit we reach for when JTAG is not an option. QEMU models with debugger stubs, reset-surviving crash rings,…