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 to run on an Amadeus APF9328 card, which embed an ARM920T microprocessor (ARMv4).
Authors: Thomas B. & Yoan T.