Re: How to compile the fiasco kernel test directory?
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/