4 ms·

Me, I'd like to see such a marriage between NixOS and GenodeOS (which provides capabilities management and has the advantage of using a microkernel as base, so

by akavel 9y ago

Me, I'd like to see such a marriage between NixOS and GenodeOS (which provides capabilities management and has the advantage of using a microkernel as base, so much smaller attack surface, aka TSB, than Xen + Linux) http://www.genode.org/about/index http://www.genode.org/about/index

Mathnerd314 9y ago
An abandoned attempt: https://github.com/ehmry/genode-nix https://github.com/ehmry/genode-nix
- akavel 9y ago
  IIUC, it didn't build the whole OS, it was more of a port of Nix, not whole NixOS, to Genode. But I may be wrong. As such, it could be seen as a step towards the goal. But I believe a different approach might be also possible: by starting from NixOS, and adding support for L4Linux (thus seL4 - bottom layer), then Genode On Linux (top layer), then somehow connecting the two.
ohpauleez 9y ago
Genode now has its own package management system with the 17.05 and 17.08 releases, informed/inspired by the work from Genode/Nix (linked in the other comment). This means you can run Genode on NOVA with VirtualBox 5 fully integrated as the VMM, all with the improved Noux/POSIX interop components in place, and have a decent package management solution (that handles API compatibilities, multiple version installs, src vs binary deps, packages, and more). There's also Xen support with the most recent release (for cloud appliance work with Genode) What's more, based on the roadmap and challenges, they should be bringing VirtualBox5 support to the seL4 kernel, and they even have a goal for being the virtualization foundation of QubesOS. https://genode.org/about/challenges https://genode.org/about/challenges With the recent toolchain update and new package management system, its easier than ever to cook up your own Genode-based systems.
- akavel 9y ago
  Interesting, thanks for the info! Though from the article about the system (https://genode.org/documentation/developer-resources/package_management https://genode.org/documentation/developer-resources/package...), it's not clear to me how to: a) tweak compilation flags of libraries & apps b) describe full set of runtime config files of an app and thus build a single full configuration of a whole system, like in NixOS. Hm; or can this maybe somehow be solved with the "run scripts" mentioned at the end of the article? I'm even less than a noob with regards to Genode, so I'm not sure about that. Or does the package manager only provide Nix-like functionality, with no way for NixOS-like features?

by akavel 9y ago

Mathnerd314 9y ago

An abandoned attempt: https://github.com/ehmry/genode-nix https://github.com/ehmry/genode-nix

akavel 9y ago
IIUC, it didn't build the whole OS, it was more of a port of Nix, not whole NixOS, to Genode. But I may be wrong. As such, it could be seen as a step towards the goal. But I believe a different approach might be also possible: by starting from NixOS, and adding support for L4Linux (thus seL4 - bottom layer), then Genode On Linux (top layer), then somehow connecting the two.

ohpauleez 9y ago

Genode now has its own package management system with the 17.05 and 17.08 releases, informed/inspired by the work from Genode/Nix (linked in the other comment). This means you can run Genode on NOVA with VirtualBox 5 fully integrated as the VMM, all with the improved Noux/POSIX interop components in place, and have a decent package management solution (that handles API compatibilities, multiple version installs, src vs binary deps, packages, and more). There's also Xen support with the most recent release (for cloud appliance work with Genode) What's more, based on the roadmap and challenges, they should be bringing VirtualBox5 support to the seL4 kernel, and they even have a goal for being the virtualization foundation of QubesOS. https://genode.org/about/challenges https://genode.org/about/challenges With the recent toolchain update and new package management system, its easier than ever to cook up your own Genode-based systems.

akavel 9y ago
Interesting, thanks for the info! Though from the article about the system (https://genode.org/documentation/developer-resources/package_management https://genode.org/documentation/developer-resources/package...), it's not clear to me how to: a) tweak compilation flags of libraries & apps b) describe full set of runtime config files of an app and thus build a single full configuration of a whole system, like in NixOS. Hm; or can this maybe somehow be solved with the "run scripts" mentioned at the end of the article? I'm even less than a noob with regards to Genode, so I'm not sure about that. Or does the package manager only provide Nix-like functionality, with no way for NixOS-like features?