U-Boot for Raspberry Pi is now working. This is a “fairly stable, flexible u-boot distribution suitable to be used as an environment for OS bring-up”.
So, current state of affairs is:
- USB support
- SD card support (FAT filesystem)
- Support for built-in USB ethernet
- Autoimport environment from uEnv.txt
- Autorun of boot script (boot.scr)
Next stage is to get FreeBSD working on Raspberry Pi.