userspace/ppsi: new submodule

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

userspace/ppsi: new submodule
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
d61b388a · Alessandro Rubini · ca626c92 · d61b388a · 76d6d839
Commit d61b388a authored Nov 21, 2013 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

.gitmodules .gitmodules +3 -0

ppsi userspace/ppsi +1 -0

No files found.
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "userspace/mini-rpc"]
 	path = userspace/mini-rpc
 	url = git://github.com/a-rubini/mini-rpc.git
+[submodule "userspace/ppsi"]
+	path = userspace/ppsi
+	url = git://ohwr.org/white-rabbit/ppsi.git
--- a/ppsi @ 76d6d839
+++ b/ppsi @ 76d6d839
+Subproject commit 76d6d83987cfd11ff18a03aad01b27e386a83fa3