OS kernel developed for didatic purposes