Bare metal programming on the Raspberry Pi