Formal Model of Classic Operating System Kernel

This paper starts out with an overview of the main components of the kernel and then presents an exact definition of each of these components.