Extras for the Galago microcontroller platform