Various bare-metal projects for the Raspberry Pi