DICK simple real-time kernel for arduino made by 2013 OS dessign class at Universitat de les Illes Balears.