diff --git a/hermit/.gitignore b/hermit/.gitignore index ab7a77471..51b1485f0 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -11,6 +11,9 @@ qemu-vlan0.pcap autom4te.cache documentation/html/ include/hermit/config.inc +tools/*.img +tools/*_proxy +tools/make_initrd usr/examples/hello usr/examples/hello++ usr/examples/hellof