HierOS

"The Hierophant." A legacy-free 64-bit kernel with SMP support.