genode/repos/base-nova/run
..
platform.run