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