Fiasco testcase And L4RE API

Adam Lackorzynski adam at
Tue Mar 31 23:42:41 CEST 2015

On Tue Mar 31, 2015 at 08:35:46 +0800, cui.yunfeng at wrote:
> Is there unit test case (such as TDD test case) on development of
> Fiasco? How to get the unit test case?

There are a few in src/test in Fiasco.
> Is there document about L4RE API interface? I want to compare the L4RE
> POSIX interface and Linux POSIX interface.

Please have a look at

Adam                 adam at

More information about the l4-hackers mailing list