…
..
default.nix	…
genode.patch	…
role.bash	…
setup-hook.sh	…