- l4-hackers - example.com Site

Indirect IPC or direct IPC
by chenggh 10 Jan '07

10 Jan '07

Hi: Today I read the DICE Manual 3.1.0 and it talks about something about indirect IPC and direct IPC. According to my understanding it seems like this: indirect IPC: sender - > message buffer -> receiver direct IPC: sender ->sender buffer -> receive buffer ->receiver. But I think this understanding is wrong and I don't search something helpful by google, too. If somebody knows please tell me. In this manaul it says ln L4 version 4 all constructed data types will be transmitted by indirect IPC not direct IPC. I also want to know why. Thank you. Best wishes. cheng

3 2

Why I can't get the seconds and nanoseconds like this?
by chenggh 08 Jan '07

08 Jan '07

Hi: I wrote the simple application like this. #include <stdio.h> #include <l4/util/rdtsc.h> #include <l4/sys/l4int.h> #include <l4/thread/thread.h> char LOG_tag[4]="clk"; int main(void) { l4_uint32_t *second; l4_uint32_t *nanosecond; l4_cpu_time_t tsc; tsc = l4_rdtsc(); l4_tsc_to_s_and_ns(tsc, second, nanosecond); printf("%d, %d \n", *second, *nanosecond); } The result is : clk | 0, 0 clk | clk | Exiting with 6 Does these code have some problems? Thank you. cheng

3 2

Re: L4 Demo CD problems
by Dave Haddon 08 Jan '07

08 Jan '07

I am using a PC104 stack with a PIII/1Ghz, 256Mb, CD and 6Gig HD... no floppy..currently running timesys (6.1) (Linux Kernel 2.6.16.16 for i686) I eventually got the source for L4 to Compile by leaving out bits that were causing compiling errors.. RTC for example.. once I got to that point.. my hard drive died and I had to start from scratch.. arrgghh!!!! After much stuffing around to find a workable drive for the PC104, I figured I'd just download the Demo cd and have a whack at that, and it wouldn't work.. I'm starting to get a bit annoyed.. I originally retrieved the L4linux source from CVS, (l4 and linux-2.6) and tried to compile it together from the instructions on the DROPS web and had a lot of missing pieces in timesys, (mainly upto-date PERL and automake).. I haven't tried with QEMU or VMware as I have the PC104 on the same monitor and keyboard.. it is too easy to switch between the PC104 and my desktop (P4 2.8G, SuSe 9.3, KDE 3.4.0b..with no root permissions...) Any info you can give me would be greatly appreciated.. Dave Haddon On Fri, 2007-01-05 at 08:20 +0100, Bjoern Doebel wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Hi, > > > I have downloaded and burnt the Demo CD exactly as described on the > > website, but it won't come up with the grub menu as described. All I get > > is the Grub command prompt. Have I done something wrong? I have been > > trying to get L4linux to work for ages now and nothing is working.. > > (Mainly a harddrive crash and a lack of root permissions on my main PC > > causing problems...) Can someone please help.. > > some more information about your system, what exactly you've been doing to > run L4Linux and what failures you encountered could be helpful. > And can you maybe try to run the DemoCD-Image in QEMU or VMWare? > > Bjoern > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.5 (GNU/Linux) > Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org > > iD8DBQFFnfxIP5ijxgQLUNkRAuKHAKCQBAHJbkFm6/GaBo7WCyMsnSY1LQCfcKbR > 3LKgzTHKSIU3HlfiEoHadIM= > =6eip > -----END PGP SIGNATURE----- -- CSIRO - Queensland Centre for Advanced Technologies Technology Court Pullenvale Qld 4069 AUSTRALIA PO Box 883 Kenmore Qld 4069 AUSTRALIA Telephone +61 7 3327 4444 Facsimile +61 7 3327 4455

2 1

L4 Demo CD problems
by Dave Haddon 05 Jan '07

05 Jan '07

I have downloaded and burnt the Demo CD exactly as described on the website, but it won't come up with the grub menu as described. All I get is the Grub command prompt. Have I done something wrong? I have been trying to get L4linux to work for ages now and nothing is working.. (Mainly a harddrive crash and a lack of root permissions on my main PC causing problems...) Can someone please help.. Thanks -- CSIRO - Queensland Centre for Advanced Technologies Technology Court Pullenvale Qld 4069 AUSTRALIA PO Box 883 Kenmore Qld 4069 AUSTRALIA Telephone +61 7 3327 4444 Facsimile +61 7 3327 4455

2 1

Problems compiling NICTA::Pistachio-embedded 1.3.0.
by Jaeheon Yi 01 Jan '07

01 Jan '07

Hello, I'm attempting to compile NICTA::Pistachio-embedded, version 1.3.0. I've downloaded the source using tla, via `tla get ertos(a)nicta.com.au--public/pistachio--release my_pistachio`. When I follow the standard L4 compile procedure and perform make, I get this message: [jaeheon@l4rbed ia32-kernel-build]$ make menuconfig dirname: too few arguments Try `dirname --help' for more information. bash: /gccgcc: No such file or directory make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build' make[2]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build/config' Compiling rules, please wait......(0.72 sec) Done. Loading 'config.out' failed, continuing... Rewriting Makeconf.local ... make[2]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build/config' make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build' [jaeheon@l4rbed ia32-kernel-build]$ make dirname: too few arguments Try `dirname --help' for more information. bash: /gccgcc: No such file or directory make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build' make[1]: *** No rule to make target `src/generic/mapping_alloc.cc', needed by `.depend'. Stop. make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build' make: *** [all] Error 2 [jaeheon@l4rbed ia32-kernel-build]$ I've tried doing this for the ARM architecture ala Ben Leslie's L4 dev slides, and that also ends up not finding a certain file. I get the feeling that I am missing some files, or perhaps I have to tweak some config files? I would appreciate any pointers on this issue. Thank you, Jaeheon Yi

2 1

Re: What is difference among these 3 terms: domain, task and thread
by Adam Lackorzynski 29 Dec '06

29 Dec '06

Hi, On Wed Dec 27, 2006 at 16:16:57 +0800, chenggh wrote: > I want to know what is the difference among these 3 terms : domain, task and > thread in L4/Fiasco documents. If sb could understand please show me clearly. Where did you read 'domain' in a Fiasco document? A task is an address space which contains one or more threads. Pagetables are attached to tasks, threads execute code. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

What is difference among these 3 terms: domain, task and thread
by chenggh 27 Dec '06

27 Dec '06

Hi: I want to know what is the difference among these 3 terms : domain, task and thread in L4/Fiasco documents. If sb could understand please show me clearly. thank you. Best wishes. cheng

1 0

Re: failed to booting l4linux from serial console
by chenggh 23 Dec '06

23 Dec '06

> CPU: Intel Pentium III (Coppermine) stepping 03 > 0000 [#1] > Modules linked in: > CPU: 0 > EIP: fd10:[<00501eb0>] Not tainted VLI > EFLAGS: 00213202 (2.6.18-l4 #22) > EIP is at _mmx_memcpy+0x30/0x150 > eax: bff00200 ebx: 00000014 ecx: 00000064 edx: 010cfa84 > esi: 0064d924 edi: 00000200 ebp: 010cdd94 esp: 010cdd84 > ds: fd24 es: 0890 ss: 0000 > Process swapper (pid: 1, ti=010cc000 task=010caa70 task.ti=010cc000) > Stack: 00000014 010ca550 fffffff4 00000200 010cde04 004132e4 010cfa84 > 0064d924 00000500 00000000 00000000 ffffffff ffffffff 010cc038 010ca610 > 010cde5c 00000000 10800711 00000000 010ca550 000000d0 00000000 010c93a8 > 010c93a8 Call Trace: > [<0040c449>] show_stack_log_lvl+0xa9/0xd0 > [<0040c61a>] show_registers+0x15a/0x1c0 > [<0040c795>] die+0x115/0x2d0 > [<00000000>] _start+0xffc00000/0x50 > [<004132e4>] copy_process+0x954/0xfb0 > [<00413b2b>] do_fork+0x6b/0x1c0 > [<004092ba>] kernel_thread+0x7a/0x90 > [<00427707>] keventd_create_kthread+0x27/0x70 > [<0042791a>] kthread_create+0xda/0xe0 > [<0069e226>] cpu_callback+0x76/0xd0 > [<0069e2a2>] spawn_ksoftirqd+0x22/0x50 > [<004001cc>] init+0x1c/0x280 > [<00408960>] kernel_thread_start+0x30/0x40 > [<004084e6>] ret_kernel_thread_start+0x6/0x10 > Code: 53 83 ec 04 8b 75 0c 89 e0 25 00 e0 ff ff f7 40 14 00 ff ff 0f 0f 85 > 11 01 00 00 8b 45 10 c1 e8 06 89 45 f0 89 c3 e8 30 43 f0 ff <0f> 0d 06 0f > 0d 46 40 0f 0d 86 80 00 00 00 0f 0d 86 c0 00 00 00 > EIP: [<00501eb0>] _mmx_memcpy+0x30/0x150 SS:ESP 0023:010cdd7c > <0>Kernel panic - not syncing: Attempted to kill init! > panic: going to sleep forever, bye Right now I forget to tell you my CPU type is Duron. Do you change the cpu type in my configuration? And I suggest in the first time you should use the com1 to display the l4 output information and after you check that the l4 booting is correct you use the com1 to display the l4linux output inforamtion instead of l4. It seems that you have only one serial console. :) it is bad. cheng cheng

1 0

Re: failed to booting l4linux from serial console
by chenggh 23 Dec '06

23 Dec '06

On Saturday 23 December 2006 16:26, halo duan wrote: > Hi all > as my graphic card of my pc can not support l4dope, I boot l4linux from > serial console, my grub configuration looks like following Oh, My l4linux is 2.6.17. I test it works well. In the l4 configuration of l4linux i think there is no special option to be choose except the l4 build directory. and in the linux configuration of l4linux, the options about serial console is like this: # Serial drivers # CONFIG_SERIAL_8250=y CONFIG_SERIAL_8250_CONSOLE=y CONFIG_SERIAL_8250_PCI=y CONFIG_SERIAL_8250_NR_UARTS=4 CONFIG_SERIAL_8250_RUNTIME_UARTS=4 # CONFIG_SERIAL_8250_EXTENDED is not set # # Non-8250 serial port support # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 according to some errors I suggest you close the option loading module automatically. In this letter there is attachment which is my configuation in l4linux-2.6.17. Maybe it could help you. Good luck. Merry Christmas. cheng

2 1

Re: failed to booting l4linux from serial console
by Adam Lackorzynski 23 Dec '06

23 Dec '06

On Sat Dec 23, 2006 at 17:53:46 +0800, chenggh wrote: > On Saturday 23 December 2006 16:26, halo duan wrote: > > Hi all > > as my graphic card of my pc can not support l4dope, I boot l4linux from > > serial console, my grub configuration looks like following > Oh, My l4linux is 2.6.17. I test it works well. > In the l4 configuration of l4linux i think there is no special option to be > choose except the l4 build directory. > and in the linux configuration of l4linux, the options about serial console > is like this: Please note that you are interfering with the uart here which is not recommended. You can do that of course but then you also need to disable its usage in the kernel to be safe. I recommend using the L4_SERIAL driver. > # Serial drivers > # > CONFIG_SERIAL_8250=y > CONFIG_SERIAL_8250_CONSOLE=y > CONFIG_SERIAL_8250_PCI=y > CONFIG_SERIAL_8250_NR_UARTS=4 > CONFIG_SERIAL_8250_RUNTIME_UARTS=4 > # CONFIG_SERIAL_8250_EXTENDED is not set > > # > # Non-8250 serial port support > # > CONFIG_SERIAL_CORE=y > CONFIG_SERIAL_CORE_CONSOLE=y > # CONFIG_SERIAL_JSM is not set > CONFIG_UNIX98_PTYS=y > CONFIG_LEGACY_PTYS=y > CONFIG_LEGACY_PTY_COUNT=256 > > according to some errors I suggest you close the option loading module > automatically. Which errors are you referring to? Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

failed to booting l4linux from serial console
by halo duan 23 Dec '06

23 Dec '06

Hi all as my graphic card of my pc can not support l4dope, I boot l4linux from serial console, my grub configuration looks like following title l4linux root (hd0,0) kernel /l4/bootstrap modaddr 0x02000000 # module /l4/fiasco -serial_esc comspeed 115200 -comport 0 module /l4/fiasco module /l4/sigma0 module /l4/roottask task modname "bmodfs" attached 4 modules module /l4/events module /l4/names --events module /l4/log module /l4/dm_phys --isa=0x00800000 -v --events module /l4/simple_ts -t 300 --events module /l4/rtc --events module /l4/l4io --noirq --events module /l4/bmodfs --events module /l4/libld-l4.s.so module /l4/libloader.s.so module /l4/loadercfg module /l4/vmlinuz26 module /l4/loader --fprov=BMODFS loadercfg # vbeset 0x117 506070 and my loadercfg contains following rules modpath "(hd0,0)/l4" task "vmlinuz26 earlyprintk=yes mem=64M console=ttyS0,115200 root=/dev/hda2" all_sects_writable allow_cli the l4linux build config , I check on the CONFIG_L4_EXTERNAL_RTC=y # CONFIG_L4_BLK_DRV is not set # CONFIG_L4_PDSPBLK_DRV is not set # CONFIG_L4_OSHKOSH_DRV is not set # CONFIG_L4_ORE_DRV is not set CONFIG_L4_SERIAL=y CONFIG_L4_SERIAL_CONSOLE=y # CONFIG_L4_NEED_DSI is not set # CONFIG_L4_NEED_INET_NTOA is not set # CONFIG_L4_DROPSCON is not set ...... # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y # CONFIG_UNIX98_PTYS is not set # CONFIG_LEGACY_PTYS is not set but as i boot up the system , it shows that l4linux can not open the initial console. NET: Registered protocol family 17 input: AT Translated Set 2 keyboard as /class/input/input0 kjournald starting. Commit interval 5 seconds EXT3 FS on hda2, internal journal EXT3-fs: recovery complete. EXT3-fs: mounted filesystem with ordered data mode. VFS: Mounted root (ext3 filesystem). Warning: unable to open an initial console. modprobe: FATAL: Could not load /lib/modules/2.6.18-l4/modules.dep: No such file or directory udevd[59]: init_uevent_netlink_sock: bind failed: No such file or directory udevd[59]: main: uevent socket not available modprobe: FATAL: Could not load /lib/modules/2.6.18-l4/modules.dep: No such file or directory modprobe: FATAL: Could not load /lib/modules/2.6.18-l4/modules.dep: No such file or directory modprobe: FATAL: Could not load /lib/modules/2.6.18-l4/modules.dep: No such file or directory Restarting system. anybody give a hand. best regards

2 1

unmap() guaranteed to succeed?
by Marcus Brinkmann 22 Dec '06

22 Dec '06

Hi, I try to understand if (and if yes, why) unmap() in L4 architecture implementations is guaranteed to succeed. I hesitate to say I understood the description in Marcus Völp, Design and Implementation of the Recursive Virtual Address Space Model for Small Scale Multiprocessor Systems, but at least I skimmed through it and have developed sort of a mental picture of the post-order node processing. Bernhard Kauer in L4.sec Implementation also refers to this work. I understand there are substantial variations of L4 implementations, and I don't have a complete picture of which one uses which algorithm. In any case, I am worried about the following scenario, and wonder if you can share with me your insight on the question if this is a valid concern or not: Let's say there is a mapping of the same page from A to B and from A to C. Now, unmap() proceeds in post-order, and deletes the mapping from A to C. Then it is preempted, and a restart point at B is noted. Next B maps the page to B', which updates the restart point to be at B'. Now, unmap() proceeds by deleting the mapping from B to B'. Again, the unmap operation is preempted, with the restart point being B. The cycle continues. There are variations of this, where B' creates a mapping to B'', which creates a mapping to B''' etc, n times in total, and unmap() undos the last k such mappings before it is preempted. As long as n >= k, the B's can create new mappings as fast or faster as unmap can delete them, so there doesn't seem to be a way for unmap() to succeed eventually. I have the feeling that this is an obvious threat scenario and thus is probably addressed already, but I can't find where. I might be missing something obvious. Thanks, Marcus

5 6

AW: L4Linux on L4Ka::Pistachio
by Christian, Martin, OPEE45 22 Dec '06

22 Dec '06

Thanks Volkmar, that sound promising! However, I'll first try if the L4Linux Kernel 2.4 is running on Pistachio for PowerPC. If not, I will look deeper into the kernel 2.6, so I can estimate how much work it is. I've got to minimize my time to (scientific) market. ;-) ... It just came to my mind, that I might confuse things. Is the L4Linux with Kernel 2.4 architecture neutral? That is, there is only L4 dependent C Code and no "real" architecture dependent code like IA32/PowerPC Assembler. I suppose I should just start to get the force and read the source. ;-) Nice holidays, Martin. -----Ursprüngliche Nachricht----- Von: Volkmar Uhlig [mailto:volkmar@volkmaruhlig.com] Gesendet: Mittwoch, 20. Dezember 2006 16:17 An: Christian, Martin, OPEE45; 'Adam Lackorzynski' Cc: l4-hackers(a)os.inf.tu-dresden.de Betreff: RE: L4Linux on L4Ka::Pistachio According to some people I talked to over here, Linux for PPC has pretty much everything abstracted already. So the job at hand is to fill the architecture specific function table with the L4 specific implementation. Linux on Power is more abstracted than x86 in order to accommodate the various hardware platforms and chip versions (...and to run on IBM's hypervisor). - Volkmar

2 1

Fwd: 答复: ×a・￠ : segment fault for fiasco-ux
by halo duan 21 Dec '06

21 Dec '06

at last , my athena say hello to me. thanks very much. [root@athena l4]# ./fiasco Fiasco-UX on Linux 2.6.15-1.2054_FC5 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 Loading Module 0x00090000-0x00099380 [sigma0] Loading Module 0x00120000-0x002b09e4 [roottask] Copying Module 0x039bb000-0x039e0d4e [hello] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Thu Dec 21 14:23:32 2006 compiled with gcc 4.1.0 for Intel Pentium III CPU: GenuineIntel (6:8:3:2) Model: Pentium III (Coppermine) at 797 MHz 32 Entry I TLB (4K pages) 2 Entry I TLB (4M pages) 64 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 16 KB L1 I Cache (4-way associative, 32 bytes per line) 16 KB L1 D Cache (4-way associative, 32 bytes per line) 256 KB L2 U Cache (8-way associative, 32 bytes per line) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 39f5000 Found Fiasco: KIP syscalls: yes allocated 4kB for maintainance structures Roottask. Found Fiasco-UX. Command line found: "roottask" 64512kB ( 63MB) total RAM (reported by bootloader) 57500kB ( 57MB) received RAM from Sigma0 1760kB ( 2MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 2 3 4 5 6 7 8 9 A B C D E F ] Roottask: Loading 1 module. #05: loading "hello" from [039bb000-039e0d4e] to [01000000-01002eea][01003000-010055c8] entry at 0000d060 via trampoline page code Hello World hello: My thread-id is 5.0 hello: My thread-id is 5.0 hello: My thread-id ps shown following info 6324 tty1 S+ 0:00 ./fiasco-ux -l hello 6325 tty1 S+ 0:00 [I](irq0) 6326 tty1 T+ 0:00 [fiasco-ux] 6327 tty1 T+ 0:00 [fiasco-ux] 6328 tty1 T+ 0:00 [fiasco-ux] 6329 pts/0 R+ 0:00 ps ax On 12/21/06, Carsten Weinhold <weinhold(a)os.inf.tu-dresden.de> wrote: > Am Donnerstag Dezember 21 2006 12:56 schrieb halo duan: > > Hi! > > > [...] > > following is my screen copy of fisco-ux. it's freezed there. I can not use > > CTRL-C to bring up the jdb. > > [...] > > Calibrating timer loop... done. > > > > ^^^^^^ > > freezed to above > > Are you using a System with a recent version of GLibC (you said you were using > Fedorea Core 5 in another email, I think it ships with GLibC 2.4)? If you do, > do you have the most recent Fiasco version from CVS? A TLS-related problem > with new versions of GLibC has been fixed in Fiasco last week, so you should > update your CVS copy. > > Regards, > Carsten > > > [...] >

1 0

Re: 答复: ×a・￠ : segment fault for fiasco-ux
by halo duan 21 Dec '06

21 Dec '06

>Hi, >On Wed Dec 20, 2006 at 14:00:26 +0800, halo.duan wrote: >> and I check the host linux configuration. the page offset is >> CONFIG_PAGE_OFFSET=0xC0000000 which is correct as your >> suggestion.I guss that fiasco-ux must be failed to interpret ELF >> of sigma0/roottask/irq0 and execute it . I put the same "hello" >> bin in grub/ fiasco environment. it works fun. JDB does not help >> me becuase that fiasco-ux enter a stage that CRTL-C does not >> work, I can not bring the system to jdb stage with CRTL-C. ps >> can find three processes which are 'fiasco-ux,[I][irq0] and >> [fiasco-ux]. I can use strace for fiasco-ux and [i][irq0]. but >> failed to trace [fiasco-ux]. >Thats correct, as the fiasco-ux is already ptracing the [fiasco-ux] >binary. I think you haven't shown us the full log of the segfault and >the text before yet, so please post it. We should be able to see more >when we see the log. >Adam following is my screen copy of fisco-ux. it's freezed there. I can not use CTRL-C to bring up the jdb. [root@athena l4]# ./fiasco-ux -l hello Fiasco-UX on Linux 2.6.15-1.2054_FC5 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 Loading Module 0x00090000-0x00099380 [sigma0] Loading Module 0x00120000-0x002b09e4 [roottask] Copying Module 0x039bb000-0x039e0d4e [hello] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Fri Dec 8 18:40:04 2006 compiled with gcc 4.1.0 for Intel Pentium III CPU: GenuineIntel (6:8:3:2) Model: Pentium III (Coppermine) at 797 MHz 32 Entry I TLB (4K pages) 2 Entry I TLB (4M pages) 64 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 16 KB L1 I Cache (4-way associative, 32 bytes per line) 16 KB L1 D Cache (4-way associative, 32 bytes per line) 256 KB L2 U Cache (8-way associative, 32 bytes per line) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. ^^^^^^ freezed to above ps shows there are three related process 1955 pts/0 R+ 2:18 ./fiasco-ux -l hello 1956 pts/0 S+ 0:00 [I](irq0) 1957 pts/0 T+ 0:00 [fiasco-ux] strace shows segment fault, i think it's normal for execute "CLI" in userland .

3 2

hiworld example
by Shakthi Kannan 20 Dec '06

20 Dec '06

Hi, After checking out hello, l4/pkg/generic_ts, l4/pkg/cxx, l4/kernel/fiasco, l4/tool/preprocess from CVS and doing: make -C l4 O=build oldconfig cd l4 make O=build stops at: l4/pkg/generic_ts/lib/clientlib/server.c:16:26: error: l4/log/l4log.h: No such file or directory l4/pkg/generic_ts/lib/clientlib/server.c:17:26: error: l4/env/errno.h: No such file or directory l4/pkg/generic_ts/lib/clientlib/server.c:18:31: error: l4/names/libnames.h: No such file or directory What do I need to checkout for log, env and names? System is x86 running Ubuntu Dapper with make-3.81-2. Is there a complete tarball that contains the entire sources - L4env, fiasco, L4Linux, and others, that I can simply download and build, rather than having to check-out individual modules from CVS? Thanks, SK -- Shakthi Kannan http://www.shakthimaan.com __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

5 8

AW: L4Linux on L4Ka::Pistachio
by Christian, Martin, OPEE45 20 Dec '06

20 Dec '06

Hi Adam! >> a) Is the L4Env required for running L4Linux? > Yes but that's no strict requirement. How much time would it probably take, to adjust L4Linux without L4Env to the L4 Interface of Pistachio? Did anybody try this? >> This is part of my "Diplomarbeit" at the University of Leipzig. > That isn't too far away from here. Well, actually I'm in Friedrichshafen with EADS to write my thesis. But I'm studying at the University of Leipzig. >> b) How much time would it take to port L4Env to L4Ka::Pistachio? > It would probably take me a month or two That's definitely more time, than I've got left. I also assume you know L4Env much better than I do, so it would take me even longer. >> d) What about the Fiasco port to PowerPC from Mathias Lange? > This didn't come to an end. That's a pity! :-( >> e) If Fiasco would be running on PowerPC, would it be possible >> to run L4Linux without changes? > If one wants to have binary compatibility then some PPC code needs > to be there. And then that would not be the way I'm currently doing > things. As far as I understood Michael Hohmuths Diplomarbeit, all Hardware access from Linux is replaced by sycalls to L4. Is that still the case? And so far only the IA32 part of Linux is changed that way, isn't it? So I would basically need to rewrite the PowerPC architecture part of Linux, basically. Isn't it the way things are supposed to be done? > Yes, L4Linux-2.4 also runs in Pistachio, at least it did when we worked > on it. It's all in the l4ka CVS. I'll try it. :-) > I suppose support on this is basically non-existent. L4Ka::Pistachio for PowerPC is also not really supported, so I'm used to not getting support! :-( Thanks, Martin.

3 2

L4linux compile errors..
by Wankeun Jo 20 Dec '06

20 Dec '06

Hi, I use L4Linux-2.6.18 version on pxa255 board. l4linux boots well and then now tried to expand my work for device drivers. I compiled dice and dm_generic, dm_phys packages as well. I want to use the file in "l4linux/arch/arm/mach-pxa/*", so I add the files to be compiled in "l4linux-2.6/arch/l4/Makefile" And I link all the files of "include/asm-arm/arch-pxa/*.h" in "asm-l4/arch-arm/arch" for use. And then I tried to compile l4linux, but failed with the following messages --------------- CHK include/linux/version.h CHK include/linux/utsrelease.h CC arch/l4/kernel/asm-offsets.s In file included from include/linux/sched.h:49, from arch/l4/kernel/asm-offsets.c:93: include/linux/jiffies.h:211:31: missing binary operator before token "#" In file included from include/linux/sched.h:49, from arch/l4/kernel/asm-offsets.c:93: include/linux/jiffies.h: In function `timespec_to_jiffies': include/linux/jiffies.h:316: error: syntax error at '#' token include/linux/jiffies.h:316: error: parse error before "Current" include/linux/jiffies.h:316: error: syntax error at '#' token include/linux/jiffies.h:316: error: parse error before "Current" include/linux/jiffies.h:316: error: syntax error at '#' token include/linux/jiffies.h:316: error: parse error before "Current" include/linux/jiffies.h:316: error: syntax error at '#' token include/linux/jiffies.h:316: error: parse error before "Current" include/linux/jiffies.h:316: error: syntax error at '#' token include/linux/jiffies.h:316: error: parse error before "Current" . . . . include/linux/jiffies.h:389: error: syntax error at '#' token include/linux/jiffies.h:389: error: parse error before "Current" include/linux/jiffies.h:417:6: missing binary operator before token "#" --------------- The error messages are so long. What's the problem?? Is it a compiler problem?? Thank you.

2 1

转发: segment fault for fiasco-ux
by halo.duan 20 Dec '06

20 Dec '06

Hi the linux kernel is 2.6.15-1.2054-FC5, gcc is 4.1.0 20060304. code is the latest update. following is screen copy of gdb Fiasco-UX on Linux 2.6.15-1.2054_FC5 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 6 Loading Module 0x00090000-0x00099380 [sigma0] Loading Module 0x00120000-0x002b09e4 [roottask] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Fri Dec 8 18:40:04 2006 compiled with gcc 4.1.0 for Intel Pentium III Detaching after fork from child process 2486. Program received signal SIGSEGV, Segmentation fault. Dirq::alloc (this=0xd242d, t=0xd7b80, ack_in_kernel=-1) at /home/halo/l4/kernel/fiasco/src/drivers/ux/processor-ux.cpp:62 62 asm volatile ("cli" : : : "memory"); (gdb) according to the fiasco-ux documents, the SIGSEGV must be handled by fiasico registered handler. but I don't know why fiasco generate such enomous number of SYSSEGV. so what's happened best regards On 12/11/06, halo.duan <halo.duan(a)huawei.com> wrote: > > > -----邮件原件----- > 发件人: l4-hackers-bounces(a)os.inf.tu-dresden.de > [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] 代表 Udo A. Steinberg > 发送时间: 2006年12月11日 15:22 > 收件人: l4-hackers(a)os.inf.tu-dresden.de > 主题: Re: segment fault for fiasco-ux > > On Mon, 11 Dec 2006 09:08:13 +0800 halo.duan (HD) wrote: > > HD> I am newbie for L4 and just downloaded the fiasco last week. > HD> as i compiled as ux and run fiasco hello stuff. loading of sigma0 > HD> and roottask and irq0 is ok. but nothing displayed. as i use > HD> strace attach > the fiasco > HD> process, it shown full screen segment fault. only think i can do is > "kill > HD> -9 PID". > HD> any sugestion? > > What tools did you use to build Fiasco-UX (gcc, binutils, glibc)? Also > your globalconfig.out would be helpful as well putting up a tarball of > your built binaries on the web somewhere. > > - Udo > > >

2 3

Compilation of L4Linux, problems with make
by Dave Haddon 20 Dec '06

20 Dec '06

Hi all, I am having problems trying to build the L4Linux kernel, has anyone seen the problem shown? -bash-2.05b# pwd /fiasco_part/src/l4linux-2.6 -bash-2.05b# make CHK include/linux/version.h CHK include/linux/utsrelease.h CHK include/linux/compile.h dnsdomainname: Host name lookup failure GEN .version CHK include/linux/compile.h dnsdomainname: Host name lookup failure UPD include/linux/compile.h CC init/version.o LD init/built-in.o LD .tmp_vmlinux1 ld: cannot find -lrtc make: *** [.tmp_vmlinux1] Error 1 -bash-2.05b# I have tried to search for an error, but to be honest , I'm lost... Please help? Thanks, Dave

2 3

AW: L4Linux on L4Ka::Pistachio
by Christian, Martin, OPEE45 18 Dec '06

18 Dec '06

Thanks a lot Adam! I'll think about which road to take during Christmas. Nice holidays, Martin. -----Ursprüngliche Nachricht----- Von: l4-hackers-bounces(a)os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] Im Auftrag von Adam Lackorzynski Gesendet: Samstag, 16. Dezember 2006 00:10 An: l4-hackers(a)os.inf.tu-dresden.de Betreff: Re: L4Linux on L4Ka::Pistachio Hi, On Fri Dec 15, 2006 at 10:11:14 +0100, Christian, Martin, OPEE45 wrote: > >> a) Is the L4Env required for running L4Linux? > > Yes but that's no strict requirement. > How much time would it probably take, to adjust L4Linux without L4Env to > the L4 Interface of Pistachio? Did anybody try this? Something like this is in 2.4. I do not think this is particularly hard. The concepts are the same. One needs to get some memory from somewhere, start tasks somewhere, etc. I don't see big obstacles. > >> e) If Fiasco would be running on PowerPC, would it be possible > >> to run L4Linux without changes? > > If one wants to have binary compatibility then some PPC code needs > > to be there. And then that would not be the way I'm currently doing > > things. > As far as I understood Michael Hohmuths Diplomarbeit, all Hardware > access from Linux is replaced by sycalls to L4. Is that still the case? I'd rather they that it's adapted to run in user-level, using L4. Some of the instructions cannot be executes on user-level, they're replaced, or removed, or whatever. > And so far only the IA32 part of Linux is changed that way, isn't it? So L4Linux is also running on ARM. > I would basically need to rewrite the PowerPC architecture part of > Linux, basically. Isn't it the way things are supposed to be done? Basically yes but all the architecture independant code is already there, and two example architectures. Adam

1 0

Fail to compile Linux kernel on L4Linux
by Jugwan Eom 16 Dec '06

16 Dec '06

Hi, I tried compiling Linux (not L4Linux) kernel on L4Linux. But unhandled page fault was generated during compiling. I use the ubuntu breezy as a root partition. This is the log. ------------------------ L4 Bootstrapper Scaning (nd)/l4/fiasco_org/fiasco -nowait -nokdb -serial_esc -comport 1 Scaning (nd)/l4/bin_org/sigma0 Scaning (nd)/l4/bin_org/roottask Relocated mbi to [0x5f000-0x5f6d0] Loading (nd)/l4/fiasco_org/fiasco Loading (nd)/l4/bin_org/sigma0 Loading (nd)/l4/bin_org/roottask find kernel info page... found kernel info page at 0x1000 API Version: (87) experimental Sigma0 config ip:00094be0 sp:00105100 Roottask config ip:00120000 sp:00108528 [00001000-00002000) (nd)/l4/fiasco_org/fiasco [00002000-00051dc0) (nd)/l4/fiasco_org/fiasco [00051dc0-00059bd0) (nd)/l4/fiasco_org/fiasco [0005a000-0005d4de) (nd)/l4/fiasco_org/fiasco [0005d4e0-0005f000) (nd)/l4/fiasco_org/fiasco [00090000-000993a4) (nd)/l4/bin_org/sigma0 [0009f000-00100000) BIOS area [00100000-00108764) bootstrap [00120000-00133670) (nd)/l4/bin_org/roottask [00134000-0013e87e) (nd)/l4/bin_org/roottask [0013f880-002bda14) (nd)/l4/bin_org/roottask [00300000-00301980) (nd)/l4/fiasco_org/fiasco [00302000-0038f408) (nd)/l4/fiasco_org/fiasco [02000000-028bbb08) Modules Memory [2fffc000-ffffffff) Deep Space Starting kernel (nd)/l4/fiasco_org/fiasco at 003007e8 Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Sun Dec 3 20:42:26 2006 compiled with gcc 3.4.6 for Intel Pentium 4 Performance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off Enabling special fully nested mode for PIC Found Local APIC version 0x14 id 0x00 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 3d (Periodic Mode) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (F:1:2:8) Model: Pentium 4 (Willamette/Foster) at 1513 MHz 64 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4k or 4M pages) 12K µ-ops T Cache (8-way associative) 8 KB L1 D Cache (4-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4kB for maintainance structures Roottask. Command line found: "(nd)/l4/bin_org/roottask" 786031kB ( 767MB) total RAM (reported by bootloader) 718912kB ( 703MB) received RAM from Sigma0 9388kB ( 10MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F ] Roottask: Loading 10 modules. #05: loading "(nd)/l4/bin_org/events" from [02130000-02175a9a] to [01540000-015491e4][0154a000-0154c934] entry at 0005a370 via trampoline page code symbols at [2c3fe000-2c400000] (8kB), lines at [2c3f7000-2c3fe000] (28kB) #06: loading "(nd)/l4/bin_org/names --events" from [02176000-021b7e64] to [002d0000-002d614a][002d7000-002e3000] entry at 0005b378 via trampoline page code symbols at [2c3f5000-2c3f7000] (8kB), lines at [2c3ef000-2c3f5000] (24kB) #07: loading "(nd)/l4/bin_org/log --prio 0xA1" from [021b8000-021f6961] to [00400000-00406c4a][00407000-00439890] entry at 0005c378 via trampoline page code symbols at [2c3ed000-2c3ef000] (8kB), lines at [2c3e7000-2c3ed000] (24kB) #08: loading "(nd)/l4/bin_org/dm_phys --events" from [021f7000-02283b76] to [01500000-01511faa][01512000-0151c000] entry at 0005d37c via trampoline page code symbols at [2c3e2000-2c3e7000] (20kB), lines at [2c3d5000-2c3e2000] (52kB) #09: loading "(nd)/l4/bin_org/simple_ts -t 800 --events" from [02284000-022d076b] to [01400000-014086aa][01409000-0141b070] entry at 0005e384 via trampoline page code symbols at [2c3d3000-2c3d5000] (8kB), lines at [2c3cc000-2c3d3000] (28kB) #0a: loading "(nd)/l4/bin_org/rtc" from [022d1000-02302cd8] to [01080000-010841e0][01085000-0108a000] entry at 0006036c via trampoline page code symbols at [2c3ca000-2c3cc000] (8kB), lines at [2c3c5000-2c3ca000] (20kB) #0b: loading "(nd)/l4/bin_org/l4io --noirq" from [02303000-02551e7b] to [00b80000-00ba291c][00ba3000-00c0e000] entry at 00061378 via trampoline page code symbols at [2c376000-2c3c5000] (316kB), lines at [2c35c000-2c376000] (104kB) #0c: loading "(nd)/l4/bin_org/tftp -i" from [02552000-0264e6ab] to [01000000-01027dd4][01028000-01061000] entry at 00062370 via trampoline page code symbols at [2c355000-2c35c000] (28kB), lines at [2c337000-2c355000] (120kB) #0d: loading "(nd)/l4/bin_org/con --l4io --events" from [0264f000-027e017c] to [00b00000-00b4d040][00b4e000-00b79000] entry at 0006337c via trampoline page code symbols at [2c32a000-2c337000] (52kB), lines at [2c2f5000-2c32a000] (212kB) #0e: loading "(nd)/l4/bin_org/loader --events (nd)/l4/bin_org/run (nd)/l4/cfg/l4lx26_hd_org.cfg" from [027e1000-028bbb08] to [01300000-01324630][01325000-0134f000] entry at 000643ac via trampoline page code symbols at [2c2ee000-2c2f5000] (28kB), lines at [2c2d5000-2c2ee000] (100kB) names | Starting thread listening for `exit' events simplets| Configured for 800 tasks. rtc | Date:06.12.2006 Time:14:06:47 con | Using fast memcpy. io | do_args(): Disabling internal IRQ handling. io | CPU supports 8 MTRRs. Allocated: io | 0: 00000000-20000000 ( 512MB) type WB io | 1: 20000000-30000000 ( 256MB) type WB io | 2: f8000000-fc000000 ( 64MB) type WC io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Enabled i801 SMBus device io | Transparent bridge - Intel Corporation 82801 PCI Bridge io | PCI: No IRQ known for interrupt pin B of device 00:1f.3. Please try u io : sing pci=biosirq. io | 00000000-ffffffff : PCI mem io | ed000000-ed0fffff : Intel Corporation 82557/8/9 [Ethernet Pro 100] io | ed800000-ed800fff : Intel Corporation 82557/8/9 [Ethernet Pro 100] io | ee000000-efdfffff : PCI Bus #01 io | ee000000-eeffffff : nVidia Corporation NV18 [GeForce4 MX 440 AGP io : 8x] io | eff00000-f7ffffff : PCI Bus #01 io | f0000000-f7ffffff : nVidia Corporation NV18 [GeForce4 MX 440 AGP io : 8x] io | f8000000-fbffffff : Intel Corporation 82845 845 (Brookdale) Chipset io : Host Bridge io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | a400-a43f : Intel Corporation 82801BA/BAM AC'97 Audio io | a800-a8ff : Intel Corporation 82801BA/BAM AC'97 Audio io | b000-b01f : Intel Corporation 82801BA/BAM USB (Hub #2) io | b400-b41f : Intel Corporation 82801BA/BAM USB (Hub #1) io | b800-b80f : Intel Corporation 82801BA IDE U100 io | d800-d83f : Intel Corporation 82557/8/9 [Ethernet Pro 100] io | e800-e80f : Intel Corporation 82801BA/BAM SMBus con | Character size is 8x14, font has 256 characters con | VESA reports 800x600@16 1600bpl (039f) [65536kB] con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 con | No supported accelerated graphics card detected io | Remapping I/O memory f0000000-f4000000 cached io | Setting MTRR 3 to f0000000-f4000000 type WC con | Mapped I/O video mem f0000000 => 08000000+000000 [65536kB] via l4io con | Using MMXEXT for colorspace transform tftp | NICs supported: E1000, EEPRO100, NE2000/PCI, PCNET32/PCI, RTL8139, tftp | Tulip, VIA 86C100 con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. con | L4INPUT: !!! W A R N I N G !!! con | L4INPUT: Registered 0xb03c50 for callbacks. tftp | Found eepro100 tftp | Ethernet addr: 00:03:47:AF:0A:EF con | serio: i8042 AUX port at 0x60,0x64 irq 12 con | serio: i8042 KBD port at 0x60,0x64 irq 1 tftp | Address: 141.223.121.156 Netmask: 255.255.255.0 tftp | Server: 141.223.121.59 Gateway: 141.223.121.99 con | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 con | input: AT Raw Set 2 keyboard on isa0060/serio0 con | input: PC Speaker con | input: L4 input event injector con | L4 input event injector: IRQ handler up con | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 con | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 con | connect "PC Speaker", isa0061/input0 con | connect "L4 input event injector", l4/sys con | Running as D.02. Video mode is 800x600@16. tftp | Loading (nd)/l4/bin_org/run [292kB] loader | "(nd)/l4/bin_org/run" needs libld-l4.s.so loader | Setting libpath to (nd)/l4/bin_org/ loader | run: Starting application using libld-l4.s.so loader | run,#f: Loading binary tftp | Loading (nd)/l4/bin_org/libld-l4.s.so [483kB] loader | run,#f: Loading ldso loader | Capability support not supported. loader | run,#f: Starting libld-l4.s.so at 00013890 via 0000cc7c tftp | Loading (nd)/l4/cfg/l4lx26_hd_org.cfg [1kB] loader | sleeping for 2000 ms tftp | File not found: "./libloader.s.so" tftp | Loading (nd)/l4/bin_org//./libloader.s.so [652kB] tftp | Loading (nd)/l4/lx_org/vmlinuz26 [14007kB] loader | vmlinuz26: Starting application using libld-l4.s.so loader | vmlinuz26,#10: Loading binary tftp | Loading (nd)/l4/bin_org/run [292kB] con | vc_loop(): vc[1] running as D.08 con | vc_open_out(): vc[1] 800x600@16, gmode:0x25 run | contxt_init(): 800x582, cols:100, lines:41, sb_lines:1041 tftp | Loading (nd)/l4/bin_org/libld-l4.s.so [483kB] loader | vmlinuz26,#10: Loading ldso loader | Capability support not supported. loader | vmlinuz26,#10: Starting libld-l4.s.so at 00013890 via 0000cc70 tftp | File not found: "./libloader.s.so" tftp | Loading (nd)/l4/bin_org/./libloader.s.so [652kB] tftp | File not found: "vmlinuz26" tftp | TFTP error 1 tftp | File not found: "(nd)/l4/bin_org/vmlinuz26" l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.18-l4 (zugwan@ubuntu) (gcc version 4.1.2 20060928 ( l4lx : prerelease) (Ubuntu 4.1.1-13ubuntu5)) #1 Wed Dec 6 19:42:58 KST 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (2 args): mem=512M root=/dev/hda1 l4lx | Image: 00400000 - 0070a000 [3112 KiB]. l4lx | Areas: Text: 00400000 - 0061f000 [2172kB] (a bit longer) l4lx | Data: 0061f000 - 00660824 [262kB] l4lx | Initdata: 00664000 - 00696000 [200kB] l4lx | BSS: 00698000 - 00708a20 [450kB] l4lx | l4lx_thread_create: Created thread 10.03 (server) l4lx | main thread will be 10.03 l4lx | l4env_register_pointer_section: addr = 00662000 size = 217088 l4lx | sec-w-init: virt: 0x00662000 to 0x00696fff [212 KiB] l4lx | sec-w-init: Number of physical regions: 1, 217088 Bytes l4lx | sec-w-init: 1: Phys: 0x01562000 to 0x01597000, Size: 217088 l4lx | l4env_linux_startup thread 3. l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 512MB l4lx | Main memory: virt: 0x00800000 to 0x207fffff [524288 KiB] l4lx | Main memory: Number of physical regions: 1, 536870912 Bytes l4lx | Main memory: 1: Phys: 0x01800000 to 0x21800000, Size: 536870912 l4lx | Filling lower ptabs... l4lx | Done (1139 entries). l4lx | l4lx_thread_create: Created thread 10.04 (timer.i0) l4lx | l4lx_thread_create: Created thread 10.05 (Idler) l4lx | Starting L4FB via CON con | vc_loop(): vc[2] running as D.09 l4lx | l4lx_thread_create: Created thread 10.06 (L4ConInput) con | vc_open_out(): vc[2] 800x600@16, gmode:0x25 l4lx | l4fbcon: 800x582 2bypp, size: 947200 l4lx | l4lx_thread_create: Created thread 10.07 (CON refresher) l4lx | l4lx_thread_create: Created thread 10.08 (IRQ14) l4lx | l4lx_thread_create: Created thread 10.09 (IRQ15) l4lx | l4lx_thread_create: Created thread 10.0a (IRQ5) l4lx | L4RM: [PF] write at 0x6b3da310, ip 00446f79, src 10.02 l4lx | [10.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault --PANIC, 'g' for exit------------------------------------IP: a00b634d (10.00) jdb: bt thread=10.02 backtrace (thread 10.02, fp=afeffcdc, pc=004017de): #1 afeffcdc 004017de #2 afeffd8c 0040207b #3 afeffdb8 00400d32 #4 afeffe5c 00400e24 #5 afefff7c 004027ad #6 afefffbc a00b88ea : __startup_main + 0x4a /home/zugwan/TUDOS/l4/pkg/l4env/lib/src/startup.c:78 #7 afefffec a00acb2c : l4th_thread_start + 0x7c /home/zugwan/TUDOS/l4/pkg/thread/lib/src/create.c:74 #8 afeffffc a00afd36 : l4th_thread_entry + 0x16 /home/zugwan/TUDOS/l4/pkg/thread/lib/src/l4.c:93 --kernel-bt-follows-- #0 c040176c f00068c0 #1 c040176c f000d92a #2 c04017c8 f000f33a #3 6b3da032 f002a383 (10.00) jdb: ---------------------------------- Is there any one give me an advice or has experienced this? Best regards, -- Jugwan Eom

2 6

missing l4exec
by halo.duan 15 Dec '06

15 Dec '06

Hi all I check out latest fiasco and l4linux-2.6-env and built it successful. but I find l4exec bin no where. I read Makefile of the l4/pkg/exec directory find it get no l4exec target(include instead) , so i change the target to l4exec. It's failed to build. so what happened. It need not l4exec any more or something error in my build environment or binutil. my system is linux-2.6.15 and gcc version is 4.0.1 best regards.

2 1

Wiki for updates
by Shakthi Kannan 15 Dec '06

15 Dec '06

Hi, I was wondering if it is possible to install any wiki for l4 hackers to update the documentation. Most of the documentation is outdated or it doesn't work with currenct CVS code - hiworld example, for instance: http://os.inf.tu-dresden.de/l4env/doc/html/bid-tut/node3.html Build steps also seem to be different for some of the documentation. Maybe those who are testing CVS code can update the wiki? Any thoughts? SK -- Shakthi Kannan http://www.shakthimaan.com ____________________________________________________________________________________ Any questions? Get answers on any topic at www.Answers.yahoo.com. Try it now.

2 1

L4Linux on L4Ka::Pistachio
by Christian, Martin, OPEE45 14 Dec '06

14 Dec '06

Hi! 1. Status Report ================ I've got a L4Ka::Pistachio running on an embedded PowerPC and my goal is to get a Linux running on top by end of January. This is part of my "Diplomarbeit" at the University of Leipzig. 2. Questions ============ a) Is the L4Env required for running L4Linux? b) How much time would it take to port L4Env to L4Ka::Pistachio? c) If L4Env was ported to L4Ka::Pistachio, could I run L4Linux without changes? d) What about the Fiasco port to PowerPC from Mathias Lange? He mentioned some problems, so it didn't work. Is it running now? Where could I get the source code? e) If Fiasco would be running on PowerPC, would it be possible to run L4Linux without changes? f) I've read something about L4Linux running on L4Ka::Pistachio with Kernel 2.4? Did I get that right? So I could at least get an old Linux kernel running on my system. g) Anything else? Best regards and thanks for your time, Martin.

2 1