access to l4/pkg/ktest

[Hendrik Tews]

Hi,

would it be possible to put the ktest package into the public
repository? If not, how can Erik Schierboom get access to ktest?

[I suggested to Erik to put the properties that he is about to
prove for the Fiasco IPC as assertions into the code and then run
some IPC stress test. As IPC stress test I suggested to recompile
linux inside l4linux with -j 100. However Marcus suggested to use
pingpong and ktest instead. Any further suggestions for Fiasco
IPC stress testing are of course most welcome.]

Bye,

Hendrik