A kernel in a library Genode's custom kernel approach