OSDev.org

The Place to Start for Operating System Developers
http://f.osdev.org/

The Nexus Kernel

http://f.osdev.org/viewtopic.php?t=32768

Page 1 of 1

The Nexus Kernel

Posted: Sun Feb 25, 2018 12:46 pm

by Orb4848

Does anyone know about the Nexus kernel? and, NGSCB?

All times are UTC-06:00
Page 1 of 1

Powered by phpBB® Forum Software © phpBB Limited