[codezero]

Slightly off-topic, in addition to the DRM, the Raspberry Pi has a proprietary firmware that is not open source, so it's difficult to bake your own bootloader.