I'm writing a 9p micro kernel with a focus on security. I've borrowed a quite a bit of the 9front code base and another open source project called LuxOS and added my own stuff. The kernel boots, and I'm working on the user space servers. I'm also trying to formally verify the kernel (a work in progress) using Coq, and ACSL to prove the code is correct. I've put together a technical manual that describes in detail what I've put together: https://bafybeicbfqcliweuq5pba3pvfzyp2baid66ky2n2ekp6qhlaz4owgogxpe.ipfs.dweb.link?filename=lux9_technical_manual.pdf <https://bafybeicbfqcliweuq5pba3pvfzyp2baid66ky2n2ekp6qhlaz4owgogxpe.ipfs.dweb.link/?filename=lux9_technical_manual.pdf>
The repo is here: https://github.com/kiljoy001/lux9-kernel I would to hear your roasts, commentary or anything you have to say good or bad. I have been working on this solo and haven't had anyone to talk about this project in depth. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M82cbe1ad55c64bb7ba79b103 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
