91 BookOS/nxos

NXOS（Next XBook OS），the kernel of BookOS and GuEeOS or other OS.

26 MINE操作系统/Publish

用于《一个64位操作系统的设计与实现》第二版调试、研发、升级使用

4 马源/building-64-bit-os-from-scratch