ppsi: new version (not building)

This commit updates ppsi with the latest development, but does not build if CONFIG_PPSI is selected. This whole branch is devoted to a smooth merge of ppsi changes, so every wrpc-sw modification that depends on ppsi is commited and explained separately. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

ppsi: new version (not building)
This commit updates ppsi with the latest development, but does not build if CONFIG_PPSI is selected. This whole branch is devoted to a smooth merge of ppsi changes, so every wrpc-sw modification that depends on ppsi is commited and explained separately. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
e9e6fc41 · Alessandro Rubini · de002902 · cc84c606
Commit e9e6fc41 authored 11 years ago by Alessandro Rubini
--- a/ppsi @ cc84c606
+++ b/ppsi @ cc84c606
-Subproject commit 44deab24fbd52593147b5b5385a6e58ba7eff135
+Subproject commit cc84c606faeb506404fe63dcd219bd77e7dd6a3f