Sigil OS post-mortem report

Dupe of Genodepkgs - Extending Nixpkgs/NixOS to Genode - #5 by ehmry