A pre-emptive operating system for the x86-64 architecture