I would like to use #FreeBSD. Sadly today I am stopped by https://forums.freebsd.org/threads/help-with-u-boot-on-rpi.87427/
If it does not boot without user input it is of nearly no use for me.
EDIT: It boots on two original crapberryPi 1B (256 MiB RAM) without problems. It fails on a 1B (©2011.12).