Creating my first Genode application

[Norman Feske]

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