Creating my first Genode application

Hi all,

I'm currently trying to run Genode on a NOVA hypervisor.

I'm following the tutorial in http://genode.org/documentation/developer-resources/client_server_tutorial, but ran into a bit of trouble in the section "Making it fly".

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?

Daren