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.
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 <iostream> #include <iomanip> #include <cassert>
using namespace std;
#include <flux/page.h> #include "space.h"
int main() { // // Make task 4 the chief of task 5 // assert (space_index_t (5).lookup () == 0); assert (space_index_t (5).chief () == 0);
assert (space_index_t (5).set_chief (space_index_t(0), space_index_t(4)));
assert (space_index_t (5).lookup () == 0); assert (space_index_t (5).chief () == 4);
...... }
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?
thanks again!
-------------------------------------------------------- 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.
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
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@os.inf.tu-dresden.de To: l4-hackers@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@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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
_______________________________________________ l4-hackers mailing list l4-hackers@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.
Hi,
On Fri Apr 17, 2015 at 16:52:59 +0800, Liu Xiaodong wrote:
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.
That's right, only the 'unit' directory is included currently.
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£¿
I think they would need to be enabled in the same way as test/unit is enabled in Fiasco's build system. This is has nothing to do with the L4Re build system. However, most will probably not work as they're disabled for a reason right now.
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??
'make unittest' in the build directory.
Adam
l4-hackers@os.inf.tu-dresden.de