Austinsuyoyo/RaspberryRTOS

Use buildroot to build rpi OS with Real Time patch (xenomai)

Makefile