The kernel is of course just an interface to hardware1.