- l4-hackers - example.com Site

Network server + l4linux NIC stub driver
by sbrobson＠fastmail.fm 06 Jan '05

06 Jan '05

Hi all, I'm working on an system that runs multiple instances of l4linux. I would however like to set it up so that these instances share a network card, by means of a network server and stub driver interface. I have found a number of papers refering to such setups, including a reference to an OshKosh Network driver. Are such network servers available? Where can I get hold of one? Regards, steve. -- sbrobson(a)fastmail.fm

1 0

Problem booting l4linux on pistachio
by Gordon 22 Dec '04

22 Dec '04

Hi I am trying to boot l4linux (2.4.22 from CVS, checked out on 25/06/2004) from Pistachio (CVS checkout 20/12/2004). I am using gcc 3.3.4. for compiling Pistachio and l4linux. I am selecting the "tamed" option when making. My grub menu.lst contains the following lines: title L4Ka::Pistachio kernel /kickstart module /ia32-kernel module /sigma0 module /vmlinuz.VX2 no-scroll console=herc console=tty I get the following messsage and error: init_emulibpager initialized to c0001 --- "unable to map generic bootinfo" --- --------------------------------- (eip=00600d3f, esp=005edf98) --- Then I type g (go) at the L4 prompt and get more info: L4Linux: init_l4_resource_management empty bootmem: f000000, c0400000 start_pfn=f000000, bootmap_size = 18080 Linux version 2.4.22-l4-dev (root@khaki) (gcc version 3.3.4 (Debian 1:3.3.4-9ubuntu5)) #2 Tue Dec 24 Request of the genetic bootinfo 00020000:000283ff failed. BIOS-provided physical RAM map: BIOS-88: 0000000000010000 - 0000000000020000 [ 64KiB] (usable) BIOS-88: 0000000000029000 - 000000000009f000 [ 472KiB] (usable) BIOS-88: 000000000009f000 - 0000000000100000 [ 388KiB] (reserved) BIOS-88: 000000000013f000 - 0000000000400000 [ 2820KiB] (usable) BIOS-88: 0000000000400000 - 000000000e000000 [225280KiB] (usable) BIOS-88: 000000000f000000 - 00000000c0400000 [2904064KiB] (usable) 3076MB LOWMEM available. hm, page 00000000 reserved twice. map_fpage(from=f0128000 to=f0130000 base=00000000 sndfp=bf000167 rcvfp=bf000160) paddr bf020000 --- "KD# map_fpage(): Mapping already exists." --- --------------------------------- (eip=f0107f99, esp=f01111c0) --- Any ideas? Gordon -- Gordon gjoel123(a)fastmail.fm

1 0

(no subject)
by Gordon 22 Dec '04

22 Dec '04

Hi I am trying to boot l4linux (2.4.22 from CVS, checked out on 25/06/2004) from Pistachio (CVS checkout 20/12/2004). I am using gcc 3.3.4. for compiling Pistachio and l4linux. I am selecting the "tamed" option when making. My grub menu.lst contains the following lines: title L4Ka::Pistachio kernel /kickstart module /ia32-kernel module /sigma0 module /vmlinuz.VX2 no-scroll console=herc console=tty Any ideas? Gordon I get the following messsage and error: init_emulibpager initialized to c0001 --- "unable to map generic bootinfo" --- --------------------------------- (eip=00600d3f, esp=005edf98) --- -- Gordon gjoel123(a)fastmail.fm

1 0

proxygon problem
by sbrobson＠fastmail.fm 21 Dec '04

21 Dec '04

Hi. Using proxygon i'm able to load applications like hello and vscrtest, but as soon as I try to load l4linux I get the following error on the serial port: hello: My thread-id is 12.0 hello: My thread-id is 14.0 proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. hello: My thread-id is 12.0 hello: My thread-id is 14.0 proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. proxygon| called con_vc_direct_update_component - not yet implemented. l4linux would load when I was still using doperun. I'v been attempting to load l4linux using a file with the following: verbose 2 modpath "(nd)/fiasco" task "run" task "vmlinuz.l4env" "root=/dev/hda3 ro l4irqack=linux" Any suggestions? Thanx Steve -- sbrobson(a)fastmail.fm

2 1

doperun
by sbrobson＠fastmail.fm 20 Dec '04

20 Dec '04

Hi Excuse my ignorance, but can anyone please tell me whats happened to doperun. Does it no longer form part of the cvs download? What should I use instead? steve -- sbrobson(a)fastmail.fm

2 1

l4/pkg compile problem
by sbrobson＠fastmail.fm 20 Dec '04

20 Dec '04

Hi all. Using a cvs version downloaded over the weekend (which includes the libc_backends_l4env package), I get the following error when compiling the l4/pkg directory. ... Compiling net/sched/sch_generic.o LD_PRELOAD=/root/DROPS/l4/tool/gendep/libgendep.so GENDEP_TARGET=net/sched/sch_generic.o GENDEP_BINARY=cc1 gcc -c -D__KERNEL__ - DDDE_LINUX -DHZ=100 -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../../server/lib-linux/include - I../../../../server/include -I../../../../../../include/x86/l4/dde_linux -I/root/DROPS/drops/include/x86/l4/dde_linux -I/root/DROPS/ l4linux-2.4/include -I../../../../idl/OBJ-x86-l4v2 -I../../../../../../include/x86/l4v2 -I/root/DROPS/drops/include/x86/l4v2 - I../../../../../../include/l4v2 -I/root/DROPS/drops/include/l4v2 -I../../../../../../include/x86 -I/root/DROPS/drops/include/x86 - I../../../../../../include -I/root/DROPS/drops/include -nostdinc -DOSKIT -I../../../../../../../oskit10 -I../../../../../../../oskit10/ oskit/c -I/root/DROPS/drops/include/oskit10 -I/root/DROPS/drops/include/oskit10/oskit/c -I/usr/lib/gcc-lib/i486-linux/3.3.4/include - ffunction-sections -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes /root/DROPS/l4linux-2.4/net/sched/ sch_generic.c -o net/sched/sch_generic.o/root/DROPS/l4linux-2.4/net/sched/sch_generic.c: In function `dev_activate': /root/DROPS/l4linux-2.4/net/sched/sch_generic.c:458: warning: passing arg 2 of `list_add_tail' from incompatible pointer type /root/DROPS/l4linux-2.4/net/sched/sch_generic.c: In function `dev_init_scheduler': /root/DROPS/l4linux-2.4/net/sched/sch_generic.c:504: error: request for member `next' in something not a structure or union /root/DROPS/l4linux-2.4/net/sched/sch_generic.c:504: error: request for member `prev' in something not a structure or union /root/DROPS/l4linux-2.4/net/sched/sch_generic.c: In function `dev_shutdown': /root/DROPS/l4linux-2.4/net/sched/sch_generic.c:526: warning: passing arg 1 of `list_empty' from incompatible pointer type make[5]: *** [net/sched/sch_generic.o] Error 1 make[5]: Leaving directory `/root/DROPS/l4/pkg/flips/server/lib-linux/src/OBJ-x86_586-l4v2' make[4]: *** [OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/root/DROPS/l4/pkg/flips/server/lib-linux/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/root/DROPS/l4/pkg/flips/server/lib-linux' make[2]: *** [lib-linux] Error 2 make[2]: Leaving directory `/root/DROPS/l4/pkg/flips/server' make[1]: *** [server] Error 2 make[1]: Leaving directory `/root/DROPS/l4/pkg/flips' make: *** [flips.bin] Error 2 I am able to compile l4/pkg by removing flips, but thought I would bring it to everyones attention. steve -- sbrobson(a)fastmail.fm

2 1

l4 compile problem
by sbrobson＠fastmail.fm 17 Dec '04

17 Dec '04

Hi all. I downloaded the latest cvs version (wednesday Dec 15), but when I run make in the l4 directory I get the following error: make[5]: Entering directory `/root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/OBJ-x86_586-l4v2' ... Compiling mmap_normal.o LD_PRELOAD=/root/DROPS/l4/tool/gendep/libgendep.so GENDEP_TARGET=mmap_normal.o GENDEP_BINARY=cc1 gcc -c -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../../idl/OBJ-x86-l4v2 -I../../../../../../include/x86/l4v2 -I/root/DROPS/drops/include/x86/l4v2 -I../../../../../../include/l4v2 -I/root/DROPS/drops/include/l4v2 -I../../../../../../include/x86 -I/root/DROPS/drops/include/x86 -I../../../../../../include -I/root/DROPS/drops/include -nostdinc -I../../../../../../include/dietlibc -I/root/DROPS/drops/include/dietlibc -I/usr/lib/gcc-lib/i486-linux/3.3.4/include -ffunction-sections -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c -o mmap_normal.o /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:24:40: l4/libc_backends/mmap_util.h: No such file or directory /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:37: warning: `struct ds2server' declared inside parameter list /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:37: warning: its scope is only this definition or declaration, which is probably not what you want /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c: In function `mmap_normal': /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:160: warning: implicit declaration of function `add_ds2server' /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c: In function `msync': /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:189: warning: implicit declaration of function `get_ds2server' /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:189: warning: assignment makes pointer from integer without a cast /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:198: error: dereferencing pointer to incomplete type /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c: At top level: /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:209: warning: `struct ds2server' declared inside parameter list /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:210: error: conflicting types for `munmap_normal' /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:37: error: previous declaration of `munmap_normal' /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c: In function `munmap_normal': /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:235: error: dereferencing pointer to incomplete type /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:239: warning: implicit declaration of function `del_ds2server' /root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/mmap_normal.c:239: error: dereferencing pointer to incomplete type make[5]: *** [mmap_normal.o] Error 1 make[5]: Leaving directory `/root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io/OBJ-x86_586-l4v2' make[4]: *** [OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/root/DROPS/l4/pkg/l4vfs/lib/libc_backends/io' make[3]: *** [io] Error 2 make[3]: Leaving directory `/root/DROPS/l4/pkg/l4vfs/lib/libc_backends' make[2]: *** [libc_backends] Error 2 make[2]: Leaving directory `/root/DROPS/l4/pkg/l4vfs/lib' make[1]: *** [lib] Error 2 make[1]: Leaving directory `/root/DROPS/l4/pkg/l4vfs' make: *** [l4vfs.lib] Error 2 It complains that it can't find mmap_util.h, which does't seem to exist anywhere. Any suggestions? Thanx Steve. -- sbrobson(a)fastmail.fm

2 1

L4Linux 2.4 IRQ problem
by Carsten Weinhold 15 Dec '04

15 Dec '04

Hi all! I'm trying to get L4Linux 2.4 running. It starts to boot, but then it runs into trouble attaching to interrupts: -------------------------------- ... l4lx_irq_dev_startup: Starting IRQ thread for IRQ 5. l4lx | l4lx_thread_create: Created thread 0f.11 (IRQ5) l4lx_irq_dev_startup: Starting IRQ thread for IRQ 4. l4lx | l4lx_thread_create: Created thread 0f.12 (IRQ4) l4lx_irq_dev_startup: Starting IRQ thread for IRQ 3. l4lx | l4lx_thread_create: Created thread 0f.13 (IRQ3) l4lx_irq_dev_startup: Starting IRQ thread for IRQ 2. l4lx | l4lx_thread_create: Created thread 0f.14 (IRQ2) hda: ST317221A, ATA DISK drive hda: IRQ probe failed (0xfffc) hdb: IRQ probe failed (0xfffc) hdb: IRQ probe failed (0xfffc) hdc: IRQ probe failed (0xfffc) acquire_irq: Error attaching to IRQ 1 ---------------------------------- After these messages L4Linux enters Fiasco's kernel debugger (thread f.06). There seem to be 2 problems, the first one is that L4Linux has difficulties accessing the IDE controller. The second is related to IRQ 1. This happens on two different machines, so it's probably a configuration issue. However, I don't know where to start in order to fix this. Greetings, Carsten ------------- menu.lst entry used to boot L4Linux --------------- title L4Linux-2.4 on L4Env kernel $(P)/rmgr -sigma0 task modname "L4Linux task" modaddr 0x02000000 module $(P)/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module $(P)/sigma0 module $(P)/names module $(P)/log module $(P)/dm_phys module $(P)/rtc module $(P)/simple_ts -t 300 module $(P)/l4io --noirq #module $(P)/con --l4io module $(P)/tftp -i module $(P)/l4exec module $(P)/loader $(P)/l4linux.l4env #vbeset $(VBE_MODE) ------------- loader config file for L4Linux --------------- task "l4linux.l4env" "l4irqack=linux mem=256M no-scroll root=/dev/hda3 l4env_rd=$(P)/drops.rd" priority 0xA0

1 0

L4 come together at 21C3 in Berlin?
by Michael Engel 10 Dec '04

10 Dec '04

Hi, I just browsed through the 21C3 conference program - http://www.ccc.de/congress/2004/fahrplan-preview/fahrplan.html - and saw that at least some of the people involved in L4 development will be in Berlin (and, the better, give interesting talks). So, this is a good excuse to attend 21C3 (and let the University pay for it :-)) - are there eventually more L4 hackers attending the congress? Perhaps we could organize something like a BoF session... Btw., does anyone have a proposal for an inexpensive place to stay in Berlin from the 27th to the 30th of December? regards, Michael

2 1

Beta release of Kenge, Iguana, Wombat
by Gernot Heiser 29 Nov '04

29 Nov '04

[ Sorry, wrong URLs in original posting, this is what happens if people randomly revoke domain delegations from you... ] National ICT Australia is pleased to announce the release of version 0.4 of the first stage of its Embedded Systems Framework for beta testing. The software is fairly stable and in use in several commercial settings. However, no performance tuning has been done to date. This will be done for the 1.0 release, which is planned for February 2005. The present release consists of the following components: - Kenge, a support environment for L4-based systems LICENSE: OZPLA (BSD-like) URL: http://www.disy.cse.unsw.edu.au/Software/Kenge - Iguana, a lightweight L4-based OS personality for embedded systems, providing basic services, resource and protection management LICENSE: OZPLA (BSD-like) URL: http://www.disy.cse.unsw.edu.au/Software/Iguana - Wombat, an architecture-independent Linux server for L4/Iguana, aimed at embedded systems use LICENSE: GPL URL: http://www.disy.cse.unsw.edu.au/Software/Wombat The software presently runs on x86 and ARM platforms, a beta-version for MIPS will follow shortly and further ports are underway. An experimental version of L4Ka::Pistachio is required to run the software, this is included. Driver support is limited at present, but more will be available soon. ARCHITECTURE-SPECIFIC NOTES: - x86: - runs on PC hardware and Qemu simulator - Wombat runs the Linux Test Project with the exception of system calls using the presently unimplemented valloc functionality. - ARM: - runs on a number of ARM7 and ARM9 platforms as well as the Skyeye simulator -- Gernot Heiser Program Leader Professor of Operating Systems Embedded, Real-Time, and Operating Systems University of New South Wales National ICT Australia (NICTA) http://gernot.web.cse.unsw.edu.au http://nicta.com.au/ertos.html Phone: +61 2 9385 5156 Fax: +61 2 9385 7942

1 0