Hi Daren, > I can't seem to add the /config/ code in/build/bin/config/. Correct me > if I'm wrong, the /build/ directory is the one that we've previously > created using the /create_builddir/ tool right? For my case, I'm using > the NOVA microkernel, and I named my build directory /build.nova/. So > this should be the /build/ directory right?
you are right about the build directory. The tutorial assumes that you are using base-linux as base platforms. For kernels other than Linux, the integration of a runnable system image is a bit more elaborative. So we have crafted a tool called "run". It is described in the Chapter 2 and Section 5.4. of the new documentation [1]. For reference, a run script for the hello tutorial looks like [2]. [1] http://genode.org/documentation/genode-foundations-15-05.pdf [2] https://github.com/genodelabs/genode/blob/master/repos/hello_tutorial/run/hello.run 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 ------------------------------------------------------------------------------ Don't Limit Your Business. Reach for the Cloud. GigeNET's Cloud Solutions provide you with the tools and support that you need to offload your IT needs and focus on growing your business. Configured For All Businesses. Start Your Cloud Today. https://www.gigenetcloud.com/ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
