ChibiOS 3.0 for Senoko