Real-time operating system for the BeagleBone