A 64 bit operating system kernel, targeting amd64 processors.

All of the code here is believed to be in the public domain,
all of the code I have written is released into and dedicated
to the public domain.