Struggling to Understand Kernel and OS Separation