AFAIK Linux distribution for the RPi still use the closed-source bootloader, which is some commercial RTOS that needs to sit on a FAT partition and runs on the VideoCore chip (!). There is work on a Free Software bootloader: https://github.com/christinaa/rpi-open-firmware