Memory Protection in a Real-Time Operating System