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 inbuild/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