A simple x86-64 exokernel