Hmm, I still can't make the interrupt controller work on an actual Raspberry Pi 4. The goal is to set up a timer that fires an interrupt (so that we can pre-empt a process). And it doesn't help that the GIC-400 interrupt controller has impenetrable documentation.

Follow

QEMU only supports the "legacy" interrupt controller, which should be equivalent to the ones in a RPi ≤ 3. So I put `enable_gic=0' in the config.txt and set up the "local timer" in the interrupt controller to fire repeatedly. This works for QEMU, but not on an actual RPi 4.

Sign in to participate in the conversation
Vachtnoes

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.