MSK stands for MI03 Simple Kernel, a simple real-time kernel developped as part of the University of Technology of Compiègne MI03 course. The kernel is designed for an Amadeus APF9328 card, which embed an ARM920T microprocessor (ARMv4).