Rendered at 12:31:18 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
to11mtm 10 days 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 10 days 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 10 days 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 10 days 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 9 days 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 9 days ago [-]
I think C is hard for newcomers. Zig/Rust have a better story there.
sanxiyn 10 days ago [-]
You can do something like rump kernel to reuse drivers.
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?
https://rumpkernel.github.io/