miniOS

x86_64 hobby kernel with SMP, VFS, and POSIX process model