Community developed patches against ChibiOS-RT. This repository is unofficial, unsupported and managed through Tectu