genode/ports-okl4/src/oklinux/main.cc

int main() { return 0; }