fleshed out kernel infrastructure