genode-depot/.gitignore