Bare bones OS kernel