QNX is now free for anything non-commercial, plus there's an RPi image