How to compile the fiasco kernel test directory?

Liu Xiaodong liu.xiaodong2 at
Fri Apr 17 10:52:59 CEST 2015


As you say, I have turned on the switch at src/Modules.ux line 329. But it only complie test/unit, not include other source under test directory.

As I opinion, the compile procedure just jump into test/unit and compile it with fiasco kernel, don't use the Makefile under test/ directory.
The test/ Makefile is similar to L4 pkg Makefile. Should I compile them with L4Re?? Actually, I have tried this, but failed. Can you give me some
advice or some articles about this?

Another question, I have compile the test/unit directory and got the *.o. But I don't know how to use them. I make a fiasco image with L4 hello pkg, and launch
it with qemu. but I can't see main() function(test/unit/mapdb_t.cpp)run. How can I trigger the test process??

thank you!

From:	Adam Lackorzynski <adam at>
To:	l4-hackers at,
Date:	2015-04-17 05:11
Subject:	Re: How to compile the fiasco kernel test directory?
Sent by:	"l4-hackers" <l4-hackers-bounces at>


On Thu Apr 16, 2015 at 10:39:16 +0800, Liu Xiaodong wrote:
> Hi,I got a tar ball(l4re-snapshot-2014092821.tar.bz2) from fiasco website. I see a directory for test
> under the fiasco kernel source path: /l4re-snapshot-2014092821/src/kernel/fiasco/src/test/. But I can't
> compile them in the normal way, such as that you discrbed in the website
> I really want to do some kernel tests on fiaso. If you can tell me how to compile the fiasco kernel test directory,
> it will be very helpful, and I will appreciate it.

You need to build Fiasco for the Linux platform target (Fiasco UX).
Then, it's currently disabled in the src/Modules.ux file, enable it
(change ifeq on line 329). The tests will then be run with "make

> By the way, the test source code seems to not be included completely. Such as
> /l4re-snapshot-2014092821/src/kernel/fiasco/src/test/space/
> #include "space.h"
> I can't find headfile "space.h" in the tar ball, and there is no define about "space_index_t"  too. can you tell me why?

The header files are created while building Fiasco. You'll find it in
the build directory after Fiasco-UX has been built.

Adam                 adam at

l4-hackers mailing list
l4-hackers at
ZTE Information Security Notice: The information contained in this mail (and any attachment transmitted herewith) is privileged and confidential and is intended for the exclusive use of the addressee(s).  If you are not an intended recipient, any disclosure, reproduction, distribution or other dissemination or use of the information contained is strictly prohibited.  If you have received this mail in error, please delete it and notify us immediately.

More information about the l4-hackers mailing list