From 73b042cc82b6f7c3af7c2843a95f4adb42e92c38 Mon Sep 17 00:00:00 2001
From: Gabor Kiss-Vamosi <kisvegabor@gmail.com>
Date: Thu, 5 Oct 2017 13:38:45 +0200
Subject: [PATCH] add the new hal folder

---
 hal | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 hal

diff --git a/hal b/hal
new file mode 160000
index 000000000..86bad91ff
--- /dev/null
+++ b/hal
@@ -0,0 +1 @@
+Subproject commit 86bad91fff25a09fc66ccda5d5eb90aeaadf26bb