3 ms·
> I truly believe the future of kernels is with memory-safe languages. I am no visionary but if Linux doesn't internalize this, I'm afraid some other kernel wil
by Ericson2314 2y ago
> I truly believe the future of kernels is with memory-safe languages. I am no
visionary but if Linux doesn't internalize this, I'm afraid some other kernel
will do to it what it did to Unix.
This is why I want to work on multi-kernel NixOS — I want to make this threat as credible as possible.
If ever new kennel requires one to switch to an entirely different user land arbitrarily, they're just imposing stupid switching costs that hamper competition. If you can easily get your experimental kernel and rig it up with NixOS, we could have a real renaissance for systems programming.
- still_grokking 2y agoDebian is already ported (in parts) to different kernels.
- Ericson2314 2y agoI believe that the GNU/kfreebsd stuff is unfortunately fairly abandoned? I am very interested in https://github.com/nixos-bsd/nixbsd https://github.com/nixos-bsd/nixbsd and then Redox support and then maybe more in the line of https://github.com/nix-community/redoxpkgs https://github.com/nix-community/redoxpkgs afterwards.
- codethief 2y ago> on multi-kernel NixOS Is this something people have been working on, or is this "just" something on your personal todo list? Maybe only tangentially related, but I have been pretty excited about https://spectrum-os.org/ https://spectrum-os.org/
- Ericson2314 2y agoIt is something people have been working on: https://github.com/nixos-bsd/nixbsd https://github.com/nixos-bsd/nixbsd https://spectrum-os.org/ https://spectrum-os.org/ is very cool too! > Spectrum will, for now, be a Linux-based system, with packages from Nixpkgs but not derived from NixOS. This is because NixOS is not actually so flexible/extensible. I hope multi-kernel NixOS helps with that in general