kernel

building

generate the build.ninja file with

python conf.py

then build with ninja

use run.sh to launch the kernel in qemu

setup the raspi4b with jtag connection.

install openocd.

sudo pacman -S openocd

launch openocd with openocd -f interface/jlink.cfg -f board/rpi4b.cfg

connect with aarch64-none-elf-gdb kernel8.elf

set the target to the bcm2711.cpu0 (gdb) target extended-remote :3333

load the kernel8.elf to the raspi4b (gdb) load kernel8.elf

start debugging!