Tiny kernel for tiny systems.