3 ms·
Maybe, I think it would be possible to take a BSD or Linux (tech not a UNIX) and port the kernel space to Rust and user space to Go? Not all UNIXs are closed s
by voidlogic 10y ago
Maybe, I think it would be possible to take a BSD or Linux (tech not a UNIX) and port the kernel space to Rust and user space to Go?
Not all UNIXs are closed source.
- jrobn 10y agoMight as well write it from scratch without POSIX and all the lessons we've learned since then. I think rust opens the door to designing kernels that are small and tight with most of the OS stuff that was traditionally in kernel space moved into user space.
- cestith 10y agoOpens which door? Minix3 is microkernel based and userland compatible with NetBSD. XNU is originally based on the Mach microkernel and has part of FreeBSD bolted on. Both are open source, as are Mach proper and L4. Perhaps someone could start with Minix3 or Darwin rather than Linux or BSD or from scratch. Replace one component at a time in Rust, or D, or Ada...
- jrobn 10y agoEasily machine verified kernels that have a high degree of having no security exploits because of buffer overruns or null pointer shenanigans etc...
- bluejekyll 10y agoCheckout https://en.m.wikipedia.org/wiki/Redox_(operating_system) https://en.m.wikipedia.org/wiki/Redox_(operating_system)
- cestith 10y agoOr maybe Minix3, XNU, L4, or Mach? http://www.minix3.org/ http://www.minix3.org/ https://en.wikipedia.org/wiki/XNU https://en.wikipedia.org/wiki/XNU https://en.wikipedia.org/wiki/Mach_(kernel) https://en.wikipedia.org/wiki/Mach_(kernel) https://en.wikipedia.org/wiki/L4_microkernel_family https://en.wikipedia.org/wiki/L4_microkernel_family