From 2861c88622e82e8acbc0c0ec0431d2b040948064 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 2 Aug 2016 00:09:57 +0200
Subject: [PATCH] add boot.h to the list of ignored files

---
 hermit/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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