How to compile the fiasco kernel test directory?

[Liu Xiaodong]

HI，

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 os.inf.tu-dresden.de>
To:	l4-hackers at os.inf.tu-dresden.de,
Date:	2015-04-17 05:11
Subject:	Re: How to compile the fiasco kernel test directory?
Sent by:	"l4-hackers" <l4-hackers-bounces at os.inf.tu-dresden.de>



Hi,

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 http://os.inf.tu-dresden.de/fiasco/build.html.
>
> 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
unittest".

> By the way, the test source code seems to not be included completely. Such as
> /l4re-snapshot-2014092821/src/kernel/fiasco/src/test/space/space.t.cc
>
> #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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers at os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
--------------------------------------------------------
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.