tnishinaga / baremetal_pi4_irq_sample

Raspberry Pi 4 interrupt sample

How to build

./build.sh

How to boot

1. Format SD card
2. Copy netboot/setup.sh to SD card and run it.
3. Copy code/build/kernel.bin and code/config.txt to SD card.
4. Insert SD card to Raspberry Pi 4 and boot.