What both amuses and puzzles me is you didn't bother to describe why you are doing this. There's no cohesive design presented, no goals, and no itches you needed to scratch. It's just a bunch of crap tossed into a pile and handed to a matrix math pachinko machine.
What is the point of this? On Wed, Jan 21, 2026, 9:25 AM <[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 > > > 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-M3e3c7a933c12c27688ada149 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
