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