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 ------------------------------------------------------------------------------ Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
