What Is A Kernel In The Military