Check EndBOX - NetBSD running on RPi and booting into a version of BASIC. You can probably strip the BASIC part or get inspiration of how to run NetBSD on a Pi. You can find more information at https://www.endbasic.dev/2025/07/endbox-diy-kit.html