This lab helps the students to get familiar with the real-time kernel infrastructure. It also helps the students to Implement context switching, task management and mutexes for concurrency control. Students gain the understanding of implementing a predicate for the UB admission control algorithm to verify the schedulability of the given task set.