ChibiOS fork for Raspberry PI experimentation. See wiki for Pi-specific information.