A C++11 bare metal firmware api for the Raspberry Pi