> 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
Reading it for others: Contributors (3) kiljoy001 (Scott Guyton) claude (Claude) coderabbitai[bot] ``added 9 front source for llm ease'' > > 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-Ma9c6eba40da75a13c54d6d14 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
