Hi,
Round of applause for Taylor! I shall try again with tomorrows nightly and see if I manage a full boot. Is that not going to happen without me using a netbsd specific bootloader? Can I not use Armbians u-boot? If so, where do I download the correct bootl;oader for my rpi4c and are there any docs for getting it configured? Can I expect any HDMI support on my rockpi4c under NetBSD yet or will it be UART / ssh only?
Apologies - Taylor fixed the USB related panic, but the rkdrm*, rkfb* and rkvop* issues haven't been addressed, so there won;t be any framebuffer until they are.
I'm not sure what differences there are between the Armbian u-boot and pkgsrc, but it's worthwhile to try a boot with Armbian's.
John