Debug On Real Board
Debugging on real Raspberry Pi board:
- Build and flash chainboot onto an SD card.
- Insert SD card into Pi.
- Build kernel and chainofcommand
- Run chainofcommand with the kernel like this:
target/debug/chainofcommand /dev/tty.usb 115200 target/nucleus.bin
/dev/tty.usb is the device assigned to your raspi usb connection, 115200 is baud rate
- Boot raspi, it should boot your kernel and show console passthrough.
When you're ready to test a new version, build it and powerup Raspberry Pi again while chainofcommand is still running - it should pick up the new kernel binary and start it again.
