L4Re/departure

Change of libipc/lib/src/direct.c

607:a35ef745be1d
508:c47fb183300d
libipc/lib/src/direct.c raw changeset files shortlog