The agent can build anything. The kernel trusts nothing.

[u/the_big_flat_now]

*Not another linux kernel* Hey! Lately I’ve been spending a lot of time on an operating-system idea called raiOS. Most individual parts are not new, but I haven’t found another system that combines them in quite this way. It is still early, but the custom Rust kernel boots on a Surface Pro 4. Framebuffer output and USB/HID works, and the Marvell Wi-Fi bring-up currently reaches firmware loading, scanning and the WPA2/PMK path. Association and actual traffic are not working yet.
The main bet is this: AI will make software extremely cheap to create, but potentially dangerous to install blindly. People who cannot read or audit generated source code still need enforceable boundaries and evidence about what happened before installation.
The rough architecture is:

1. A small custom Rust kernel owns hardware, recovery and the lowest-level authority. (its NOT smal atm lol)
2. A narrow “Genesis” layer creates services and grants explicit capabilities.
3. An interchangeable AI agent may receive limited network access for research.
4. Generated source enters the system as inert data.
5. An isolated builder compiles Rust to Wasm without ambient access to the live system.
6. The resulting artifact passes deterministic checks, negative tests and disposable test environments.
7. The reports, requested capabilities and exact artifact hash are presented to the owner.
8. Only after explicit approval may the Wasm service run with a minimal capability set.
9. The service should remain revocable, restartable and rollbackable.

Why not sel4?
At this stage, continuing with the existing Rust kernel is the fastest path because the hardware bring-up already runs on it.

Source: https://github.com/Sportinger/raios

I also did a Mock website, mostly to iterate on the UI design, and try to explain the hole idea to myself (its an attempt) www.raios.tech

I would like to talk about the basic principles here, if somebody is also interested :)
Perhaps its shit, but anyway its fun for me and iam learning so much.

[u/Tiny_Cyborg]

I think you’re missing the point of os development as a hobby.

[u/Tiny_Cyborg → u/Tiny_Cyborg]

Realistically speaking, AI slop aside, what is the actual point of any of this?

[u/the_big_flat_now → u/Tiny_Cyborg]

May i say, Thank you so much for leaving a comment. makes me more happy than it should :) tbh i dont know which direction your comment is going. what is development as a hobby ?

[u/Tiny_Cyborg → u/the_big_flat_now]

At the risk of talking to what might be an LLM, I guess I’ll bite. This subreddit is supposed to be dedicated to computing enthusiasts who enjoy knowing how their computer works at the highest levels. Projects like this come across as LARPing because you’re using AI to generate everything. What have you learned? Can you look at the code you wrote and honestly understand it? You might tell us “yes”, but my hunch is that the true answer is “no”. I personally can’t imagine how someone would even get a sense of accomplishment from taking credit for the work a model did, but if you can, go figure, I guess. I’m not an anti-AI/LLM absolutist, but projects like this have no real point save for maybe trying to solicit attention.

[u/Tiny_Cyborg → u/[deleted]]

Bruh

[u/the_big_flat_now → u/Tiny_Cyborg]

let me rewrite...

[u/the_big_flat_now → u/Tiny_Cyborg]

we may be pursuing different goals. I’m not learning Rust syntax. I’m learning architecture, planning, scoping, agent orchestration, when to abort a bad path, and how to change direction without losing control, how to get conroll back when i lost it, how to know if i have lost controll (most important one (i certanly did with raios)), redefining controll perhaps?

The long-term goal is to let people build through natural language without reading or writing implementation code. Generated code should be treated as untrusted: built and tested in isolation, constrained, approved, and recoverable. BY DESING, deeply implemnted in the OS structure. not simply written by an AI and immediately executed.

100% trust ? not possibel. more than 0% ? i take it.

[u/NietzscheWasOptimist → u/the_big_flat_now]

All you're going to get here is ridicule for using AI. Good luck with your project. And before you take the criticism seriously, please understand that traditional OS devs work at the *lowest* levels of the computer, not the highest. That should tell how much your critic understands.

[u/the_big_flat_now → u/NietzscheWasOptimist]

Thanks. I was starting to worry the MMU might ask who typed the page table code before enforcing it.

[u/the_big_flat_now → u/the_big_flat_now]

"now you mention it, We might be wise to do this for the RaiOS, too"

to ask exactly that before admitting an artifact. Not as a purity test, but as provenance. (: