Some device drivers for ChibiOS/RT