Fleshed out kernel