4 ms·
Zinnia: A modular 64-bit Unix-like kernel written in Rust
- yardsold 4mo ago[dead]
- to11mtm 4mo agoLooking 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?
- sanxiyn 4mo agoThere 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).
- marv7000 4mo agoAuthor 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.
- flossly 4mo agoThis 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.
- genxy 4mo agoRun Linux as a guest in KVM to manage the hardware.
- sanxiyn 4mo agoYou can do something like rump kernel to reuse drivers. https://rumpkernel.github.io/ https://rumpkernel.github.io/
- snapplebobapple 4mo agoWhy 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 4mo agoI think C is hard for newcomers. Zig/Rust have a better story there.