I thought it was the bootloader, but I see there's u-boot (and QEMU) for the Pi now. http://elinux.org/RPi_U-Boot
I don't know, I just wish everybody could get along. I've had a Pi model B for 3 years, I've got a new Pi 3B on its way. 64-bit and quad core for $35? Even if I have to live with Linux. Yes, I know there's FreeBSD and NetBSD for it. -- Credit is the root of all evil. - AB1JX