Porting Raspberry PI external interruption to ChibiOS