Everything below RT-Mutex-Design, along with emphasis/italics