RE: L4-Linux as a real-time OS