diff --git a/.gitignore b/.gitignore
index 481f844bc1cac9c8e953da168aa2c75f26d77298..0a4d9a8947f44e8e963f5b22192e4d6115a07e5c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,4 @@ manual/manual.pdf
 # Generated headers
 libsel4/arch_include/arm/sel4/arch/invocation.h
 libsel4/arch_include/ia32/sel4/arch/invocation.h
+libsel4/arch_include/x86/sel4/arch/invocation.h