Achieving Type Safety for Low-Level Code.- Kernel Mode Linux: Toward an Operating System Protecte...