Login / Signup
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.
Toshiyuki Maeda
Akinori Yonezawa
Published in:
ASIAN (2003)
Keyphrases
</>
operating system
computer systems
microsoft windows
virtual machine
command line
linux kernel
distributed systems
red hat
memory management
windows xp
application level
operating environment
multi tasking