So I telnetted into RedBoot from a Windows machine, and tried to boot
the kernel, and I got this:
== Executing boot script in 1.620 seconds - enter ^C to abort
♥^C
RedBoot> ip_address -h 192.168.0.9
IP: 192.168.0.1/255.255.255.0, Gateway: 192.168.0.1
Default server: 192.168.0.9, DNS server IP: 0.0.0.0
RedBoot> load -r -b 0x200000 netbsd.bin
Using default protocol (TFTP)
Raw file loaded 0x00200000-0x0081f153, assumed entry at 0x00200000
RedBoot> g
$T050f:00200000;0d:01ff2fec;#dc$T050f:00200000;0d:01ff2fec;#dc