How to compile the fiasco kernel test directory?

[Adam Lackorzynski]

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/