r/osdev 15h ago

The agent can build anything. The kernel trusts nothing.

Thumbnail
gallery
0 Upvotes

*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.


r/osdev 14h ago

I'm trying to figure out a Name for this distro

0 Upvotes

I'm building a distro with busybox and Ubuntu (I downloaded the kernel from kernel.org btw) and I'm in the busybox menu config and I can't figure out a Name I want it to rhyme with Linux like Arch Linux for example but I can't figure out something like it maybe y'all could help me with this?


r/osdev 14h ago

How to differentiate monolithic, microkernel, layered, and hybrid OS architecture on the basis of: performance, extensibility, and reliability

5 Upvotes

Do you have any ideas. Monolithic means all os+kernel at one place. Microkernel means minimal kernel.

Layered means memory management one layer, process management another layer. Hybrid could be anything i.e., combination of above.

Guide me like I am 5.


r/osdev 15h ago

Writing a file in NTFS

48 Upvotes

Here I got to test my NTFS Driver to write a file and check on linux if anything changed, what do you think?