CSC 660: Advanced OS Microkernels Computer Security: Art and Science Topics What is a microkernel? Mach and L4 Microkernel IPC Microkernel Memory Management Userspace Device…