Set up ChibiOS