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