diff --git a/hermit/.gitignore b/hermit/.gitignore
index 18fe4a93c..f1736183d 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -28,3 +28,4 @@ usr/openmpbench/syncbench
 usr/openmpbench/taskbench
 usr/x86/
 usr/tmp/
+arch/x86/kernel/boot.h