Extensions for ChibiOS