simba - an embedded micro kernel framework