genode/configs/.gitignore