Roadmap 2020 - Nix/Genode

[Emery Hemingway]

Hello Genodians,

My 2020 project will be building a NixOS-like OS around Genode OS. Its
something I tried a few years ago but never completed, but now I am
resolved that it is the best way to scale up Genode.

I can't do it alone, so if such a project interests you, please contact
me off-list. There is a lot of work to do but at least the following
are complete:
 - An LLVM-8 based toolchain
 - A x86_64-genode Nixpkgs stdenv. It builds native Genode components and
   will evaluate most of Nixpkgs, but a strategy is missing for
   automatically patching projects that use GNU autotools.
 - Functions for building and testing bootable ISOs
 - An initial NixOS module for booting Genode subsystems as systemd
   services.
 - Pre-packaging of depot binary archives.
 - Dhall as an alternative configuration language

The current sources are held here:
https://gitea.c3d2.de/ehmry/genodepkgs
https://gitea.c3d2.de/ehmry/nixpkgs
https://gitea.c3d2.de/ehmry/genode

Cheers,
Emery


P.S.

There is a another project that packages Genode with Nix, but I haven't
tried it yet: https://github.com/blitz/genode-nix