#! /bin/sh
# Needs its configuration file in the same directory:
cd /resources/genode/bin
./core
