Zinnia: A modular 64-bit Unix-like kernel written in Rust

(zinnia-os.org)

53 points | by mrunix a day ago ago

9 comments

  • to11mtm a day ago

    Looking through the page and the main readme I have lots of questions...

    I'm vaguely curious what is or is not missing for aarch/riscv, also what else is/is not implemented? e.x. is there audio support? can I plug a USB drive in?

    Also, Is there a section with documentation on the architecture?

    • marv7000 19 hours ago

      Author here. aarch64 is something I haven't looked into yet. Last time I tried, I was able to boot to userspace on a VisionFive2 (riscv64gc), but it's been a while and the port has likely bit-rotted. It's missing a lot of platform drivers since there is no ACPI firmware on those devices. There is no audio yet, but I do plan on porting Pulse with OSS drivers in the future. Regarding USB, I have a local change set with HID on xHCI, but no Mass Storage support.

    • sanxiyn 20 hours ago

      There doesn't seem to be audio support (I searched for audio and sound). There seems to be the beginning of USB support (under drivers/usb/xhci, for example).

  • flossly 21 hours ago

    This first Rust/Zig kernel that allows Linux drivers to be ported over with ease (LLM assisted) could pick up a lot of run-on-bare-metal usage. Linux is the only FLOSS kernel that has broad hardware support.

    • snapplebobapple 6 hours ago

      Why would that be? To me it doesn't seem that interesting vs going to an l4 type kernel that is mathematically verified secure in various operations.

      • flossly 2 hours ago

        I think C is hard for newcomers. Zig/Rust have a better story there.

    • sanxiyn 20 hours ago

      You can do something like rump kernel to reuse drivers.

      https://rumpkernel.github.io/

    • genxy 21 hours ago

      Run Linux as a guest in KVM to manage the hardware.

  • yardsold a day ago

    [dead]