Hello list,

I'm happy to announce that NLnet will be funding this project This means
that I will be working on it full-time for the remainder of the year
(at least).

https://nlnet.nl/project/Genodepkgs/

As part of the proposal I have made roadmap of milestones, with are
roughly the completion of a native Dhall evaluator, a network appliance
demo, and a Genode hypervisor with NixOS guests demo. Lately I've been
working on implementing the Dhall spec, which I hope will be completed
this month. Until then I will not be working much on the Nix expressions,
though I have a pushed a 20.08 branch with a partial upgrade.

Cheers,
Emery