Hello,

I'm trying to run the hello tutorial provided with Genode on my system and am having trouble understanding it's output. When I run ./core all I get is:

int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 17592186044415 MB to init
int main(): --- init created, waiting for exit condition ---
Quota exceeded! amount=4096, size=4096, consumed=4096
[init] upgrading quota donation for SIGNAL session
[init] Could not open file "config"
[init] Could not obtain config file
[init] C++ runtime: Genode::Config::Invalid
[init] void* abort(): abort called

and the system seems to be waiting indefinitely.

Is there anything wrong I've done? Am I missing anything?

Thanks in advance for helping the beginners.

                                              - Pramod