Raspberry Pi 4 interrupt sample
How to build
./build.sh
How to boot
- Format SD card
- Copy
netboot/setup.sh
to SD card and run it. - Copy
code/build/kernel.bin
andcode/config.txt
to SD card. - Insert SD card to Raspberry Pi 4 and boot.
./build.sh
netboot/setup.sh
to SD card and run it.code/build/kernel.bin
and code/config.txt
to SD card.MIT License