I think enough has been said on this topic. We're not going to accept new messages on this thread.
On Wed, 21 Jan 2026 02:20:48 -0500 [email protected] wrote: > 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. -- Ori Bernstein <[email protected]> ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M4c322da2ea099fca6692d98d Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
