Sir,
I was making the first application in okl4 microkernel in genode.First I add the repositories path in to the "buildingfile/etc/build.conf".Then i gave "make and make make hello/server and make hello/client" command.
When i was running the application then i did not find any config file in "building directory/bin/config".
Thank You,
Naveen