Okay I'm try to follow the guide of Inferno OS RPI port. Now I get
Lab 5 working, that's the Hello World. I don't have a RPI at hand, so
I use qemu, qemu-system-arm -M raspi1ap. It seems direct load the
file with generic loader -device loader,file=... won't work. But
u-boot does, with qemu-system-arm -M raspi1ap -kernel u-boot -nographic, and I have to disable loading environment from EMMC,
otherwise it ERROR. After u-boot boots, I use loads 0x8000, paste the SREC formated binary, and enter,
and finally go 0x8000. Use bin2srec to convert the binary to SREC format.