- l4-hackers - example.com Site

Automated regression test suite for L4
by seth bollinger 18 Apr '07

18 Apr '07

Hello All, Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite? These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel. Thanks, Seth

4 3

Fehler beim kompilieren...
by MHaeussi＠gmx.de 17 Apr '07

17 Apr '07

Hallo liebe Entwickler, ich habe ein Problem beim kompilieren von dem Kernel. Den Kernel will ich als Schulprojekt verwenden, dass sich mit "TPM unter Linux" beschäftigt. Grundidee ist auf dem Microkernel ein "normales" Suse Linux laufen zu lassen das fast alle TPM Funktionen unterstützt die es unter Windows gibt. Hoffentlich ist das überhaupt möglich ^^ Als er den Kompilierdurchlauf beendet habe ich 2 Fehler und es befindet sich kein Kernel im Verzeichnis. Leider kann ich mit den Fehlermeldungen nichts anfangen. Diese habe ich als Anhang beigefügt. Vorgegangen bin ich laut eurer Anleitung im Internet. lg Markus Häußler -- Markus Häußler "Feel free" - 10 GB Mailbox, 100 FreeSMS/Monat ... Jetzt GMX TopMail testen: http://www.gmx.net/de/go/topmail

2 1

AIM Multiuser Benchmark - Suite VII
by Eduard Benes 12 Apr '07

12 Apr '07

Hello! As a part of my research I have to run macrobenchmarks on L4Linux and native Linux. I saw few papers related to performance testing of L4Linux, where this benchmark was used. The problem is that I'm not able to find (google) working version. Could somebody provide me tested (used,working) copy of this benchmark? Or are there any similar test that could be used instead of aim7? Thank you, Eduard Benes

2 1

Writing simple "hiworld" server using L4Env packages
by Eduard Benes 10 Apr '07

10 Apr '07

Hi! My goal is to create, using l4env pkgs, some simple servers that would run on top of microkernel and compare their performance when running on native Linux and on L4 ukernel. They should run single and more paraller "processes" that would do some simple numerical algorithms (sorting, Monter Carlo, ...) So, I would like to ask for help with creation of such servers. Better said, it can be few single servers without any clients. (integer/float data types? forks? mallocs? time measurement? ...) Is there available l4env "programming tutorial", some notes from lectures provided at TU-Dresden, or some more advanced "example" server code that could be modified without much knowledge of l4env specifics? I've found the BID tutorial, but for me it would be more helpful to know what basic functions, libraries, data types can be used, and how. (e.g. the hello world example could be modified) Could someone please show me the right way to go? I'm running out of time, so I would really appreciate all help :) Right now I'm working on benchmarking L4Linux and native Linux to get idea of the overhead. And It would be interesting to get idea of the performance when apps/servers are running on L4 kernel without the L4Linux overhead. Thank you, Eduard Benes

3 2

Re: Writing simple "hiworld" server using L4Env packages
by chenggh 10 Apr '07

10 Apr '07

> Is there available l4env "programming tutorial", some notes from > lectures provided at TU-Dresden, or some more advanced "example" > server code that could be modified without much knowledge of l4env > specifics? Sorry, As i know there is not existing l4env programming tutorial. > I've found the BID tutorial, but for me it would be more helpful > to know what basic functions, libraries, data types can be used, > and how. (e.g. the hello world example could be modified) > Could someone please show me the right way to go? Yes, the BID tutorial is very helpful. But it could give you a small example about how the l4 application is created and running. > I'm running out of time, so I would really appreciate all help :) > Right now I'm working on benchmarking L4Linux and native Linux > to get idea of the overhead. And It would be interesting to > get idea of the performance when apps/servers are running on L4 > kernel without the L4Linux overhead. Do you aim at porting a Linux application on top of L4 kernel without L4Linux ? What is the function of your application? cheng

1 0

access to l4/pkg/ktest
by Hendrik Tews 08 Apr '07

08 Apr '07

Hi, would it be possible to put the ktest package into the public repository? If not, how can Erik Schierboom get access to ktest? [I suggested to Erik to put the properties that he is about to prove for the Fiasco IPC as assertions into the code and then run some IPC stress test. As IPC stress test I suggested to recompile linux inside l4linux with -j 100. However Marcus suggested to use pingpong and ktest instead. Any further suggestions for Fiasco IPC stress testing are of course most welcome.] Bye, Hendrik

2 1

Building L4Linux
by Eduard Benes 08 Apr '07

08 Apr '07

Hi, I run into problem compiling l4linux. I've been able to compile it many times before. But after few weeks while I was not with l4linux stuff, I run into problem when building it. I'm pretty sure it will be some "stupid" mistake I've made, but since I need to quickly finish some testing, I would really appreciate any advise... Here is configuration I use: Debian {sarge, etch}; gcc version: 3.{3,4}, l4linux-2.6-17 Everything is mainly based on chenggh's kickstart and tarball he provided. (http://os.inf.tu-dresden.de/pipermail/l4-hackers/2007/002732.html) < l4linux make log start > include/asm-l4/i386-arch/asm/alternative.h:7: error: syntax error before "u8" include/asm-l4/i386-arch/asm/alternative.h:7: warning: no semicolon at end of struct or union include/asm-l4/i386-arch/asm/alternative.h:8: warning: type defaults to `int' in declaration of `replacement' include/asm-l4/i386-arch/asm/alternative.h:8: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:9: error: syntax error before "cpuid" include/asm-l4/i386-arch/asm/alternative.h:9: warning: type defaults to `int' in declaration of `cpuid' include/asm-l4/i386-arch/asm/alternative.h:9: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:10: error: syntax error before "instrlen" include/asm-l4/i386-arch/asm/alternative.h:10: warning: type defaults to `int' in declaration of `instrlen' include/asm-l4/i386-arch/asm/alternative.h:10: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:11: error: syntax error before "replacementlen" include/asm-l4/i386-arch/asm/alternative.h:11: warning: type defaults to `int' in declaration of `replacementlen' include/asm-l4/i386-arch/asm/alternative.h:11: warning: data definition has no type or storage class include/asm-l4/i386-arch/asm/alternative.h:12: error: syntax error before "pad" include/asm-l4/i386-arch/asm/alternative.h:12: warning: type defaults to `int' in declaration of `pad' include/asm-l4/i386-arch/asm/alternative.h:12: warning: data definition has no type or storage class In file included from include/asm-l4/i386-arch/asm/thread_info.h:17, from include/linux/thread_info.h:21, from include/linux/preempt.h:10, from include/linux/interrupt.h:9, from arch/l4/l4lxlib/l4env/irq_multi.c:12: include/asm-l4/l4-arch/asm/processor.h:154: error: `cpuid' redeclared as different kind of symbol include/asm-l4/i386-arch/asm/alternative.h:9: error: previous declaration of `cpuid' include/asm-l4/l4-arch/asm/processor.h:154: warning: `cpuid' was declared `extern' and later `static' make[1]: *** [arch/l4/l4lxlib/l4env/irq_multi.o] Error 1 make: *** [arch/l4/l4lxlib/l4env] Error 2 < l4linux make log end > Thank you, Eduard Benes

2 1

Re: hda : lost interrupt
by chenggh 03 Apr '07

03 Apr '07

On Tuesday 03 April 2007 11:47, you wrote: > Linux's that I have compiled l4 and l4linux , is in > /dev/hda1. But home folder is in /dev/hda3. And the l4 > codes and build directory is in /dev/hda3 > > I did not understand the root concept in the l4linux > coniguration. The root concept in l4linux is same as in linux. A simple root file system consists of different directories including /bin /etc /lib /dev/, etc. The root file system is different from root home directory. In other words the partition which is mounted into / is your choice. For example, the /etc/fstab of my machine is : /dev/hda2 swap swap defaults 0 0 /dev/hda3 / ext3 defaults 1 1 /dev/hda4 /home/ ext3 defaults 1 2 /dev/hdd2 /home/oldsystem ext3 defaults 1 2 If i set root file system it is /dev/hda3. I think it is enough. Good luck. cheng

2 1

Re: hda : lost interrupt
by chenggh 03 Apr '07

03 Apr '07

On Tuesday 03 April 2007 10:31, Burak OGUZ wrote: > Thanks for your help, > > Now it goes over lost interrupt error but this time it > says that > > Warning : unable to open an initial console > Kernel panic - not syncing : No init found try parsing > init= option to kernel > panic : going to sleep forever bye > > What do you think about this situation? Maybe it means that you set a wrong root file system. In your linux26.cfg you set root=/dev/hda1. Are you sure your root file system is located in /dev/hda1? cheng

3 2

Re: hda : lost interrupt
by Burak OGUZ 02 Apr '07

02 Apr '07

I have started dmon log server to take logs but it gave no errors. I am totally confused about it. I think l4linux does not contain the driver for my block devices. I think that is why it gives lost interrupt error. -- burak() (ps: bf) METU CENG '06 ----- Original Message ---- From: chenggh <chenggh04(a)st.lzu.edu.cn> To: l4-hackers(a)os.inf.tu-dresden.de Sent: Monday, April 2, 2007 4:26:43 PM Subject: Re: hda : lost interrupt > l4lx | Done (1517 entries). > l4lx | l4lx_thread_create: Created thread 0f.05 > (timer.i0) > l4lx | panic: going to sleep forever, bye > > > I have booted it with 512m ram under qemu. If you have kernel panic message above it means your l4linux kernel encounters some problem. In this situation you should use a serial console to receive l4linux booting messages. These messages could help you find what is wrong. My booting log is like this: l4lx | Filling lower ptabs... l4lx | Done (1611 entries). l4lx | l4lx\_thread\_create: Created thread 10.05 (timer.i0) l4lx | l4lx\_thread\_create: Created thread 10.06 (Idler) maybe this could help you. Thank you. cheng _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers ____________________________________________________________________________________ No need to miss a message. Get email on-the-go with Yahoo! Mail for Mobile. Get started. http://mobile.yahoo.com/mail

1 0