From c5c8fedb0640d7b80ca3621bd1fe7b548f92797d Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 23 May 2015 14:39:03 +0200
Subject: [PATCH] add list of ignored files for HermitCore's kernel

---
 hermit/.gitignore | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 hermit/.gitignore

diff --git a/hermit/.gitignore b/hermit/.gitignore
new file mode 100644
index 000000000..06f05e20c
--- /dev/null
+++ b/hermit/.gitignore
@@ -0,0 +1,8 @@
+*.o
+*.dep
+*~
+*.elf
+*.sym
+*.bin
+documentation/html/
+include/hermit/config.inc