ChibiOS files
Temporary solution, cleaner is to link directly to Github repo with ChibiOS