From 3379b7cf3b25a77cfabc6001b910d17f26b28d0b Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Tue, 28 Jul 2015 00:14:58 +0200 Subject: [PATCH] add submodule for linux --- .gitmodules | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..00fb0bddb --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "linux"] + path = linux + url = git@github.com:RWTH-OS/linux.git + branch = hermit