A very minimal, resource efficient exo-kernel - View it on GitHub