Recommend you vide code a browser, instead of a micro kernel. Plan9 needs a modern browser.
> On Jan 20, 2026, at 11:20 PM, [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. > 9fans <https://9fans.topicbox.com/latest> / 9fans / see discussions > <https://9fans.topicbox.com/groups/9fans> + participants > <https://9fans.topicbox.com/groups/9fans/members> + delivery options > <https://9fans.topicbox.com/groups/9fans/subscription>Permalink > <https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M82cbe1ad55c64bb7ba79b103> ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T1338384c5eaf40a5-M1c07ded60a2651523f26718e Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
