Nix port

[Norman Feske]

Hi Emery,

> This is a notice that I've cleaned up the Nix port and created a
> branch of the Genode master to test against.

very cool! Thanks for sharing the current state and for the summary. I
look forward to experiment with your branch (once the upcoming Genode
release is out).

> The run scenarios 'nix_rom' and 'nix_fs' show how to setup routing
> to create ROM and file system roots on demand (but poor examples of
> Nix expressions). The scenario 'nix_toolchain' attempts to build
> binaries on demand, but I think I need to poke around in Noux to
> get it to run to completion.

I agree that Noux will need more love. But that is the next logical step.

> I have some examples for generating cli_monitor configurations,
> though I need to put together a full scenario to show how to route
> cli_monitor to make it work. 
> https://github.com/ehmry/genode-nix/blob/master/expr/cli_monitor.nix
>
>  The issue of fetching compiled packages to a live system is still
> outstanding, I have some ideas on the network protocol, but none on
> a binary signing scheme.
> 
> I started on some write-up of the porting process but it will
> probably be more for people coming from NixOS than from Genode or
> those interested in making the language more cross-platform. Ignore
> the name, I'm not a very good writer. http://ehmry.github.io/

A very interesting read!

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth