- l4-hackers - example.com Site

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

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

29 Nov '04

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://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://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://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 available from http://ertos.nicta.com.au/Software/L4. 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

Various questions
by Mattia Belletti 19 Nov '04

19 Nov '04

Hi all - I have some questions; I hope they have not already been posed! - I'm running a bare qemu + pistachio 0.4, and its kickstart + sigma0, with a little root server of my own, on a IA32 architecture. I ask for bootinfo location, and I find it's 0x1000 (that's where kickstart puts it, so it's ok). However, when I try accessing it, I obviously pagefault, but sigma0 refuses to give me that page. Anyway, if I _force_ it it to do (I've tweaked by hand source code), everything works fine - in fact the bootinfo is there, and it is correct. Did I get something wrong? - Little note: looking kickstart, I found this, around user/util/kickstart/mbi-loader.cc:486: if (use_bootinfo) { // Allocate and initialize a bootinfo structure. bi = init_bootinfo (&kip); rec = (L4_BootRec_t *) ((L4_Word_t) bi + bi->size); if (bi) // Record MBI modules rec = record_bootinfo_modules (bi, rec); else use_bootinfo = false; } (I'm referring to CVS version, If I remember well 0.4 version was exactly the same). The "rec = stuff" isn't wrong? If "bi" is set to NULL by the init_bootinfo (in case of OOM, if I remember well), this segfaults - well, don't know what it does exactly, since there's still no kernel around, and I don't remember IA32 defaults ;D - Looking L4 specs (even the latest - by the way, how come the sources theirselves aren't published? I would have found it useful when I did those searches about sigma0 ;D), I have found no satisfying explanation about the kinds of memory descriptors L4 knows about. That is, UndefinedMemoryType, BootLoaderSpecificMemoryType, ArchitectureSpecificMemoryType are obvious, but what are the differences between ConventionalMemoryType and SharedMemoryType? What between ReservedMemoryType and DedicatedMemoryType? What are their exact meanings? Not that I absolutely need to work this out now, but I would like to know this better! :-) - Last: what purpose sigma1 has? I remember reading something about it in the papers about transparent checkouts of kernel state, and stuff like that... Thank you all for the attention! :-) -- Mat/tia Belletti - Undergraduate student @ cs.unibo.it ICQ: 33292311 - email: mbellett(a)cs.unibo.it IRC: RedGlow - site(s): http://mbellett.web.cs.unibo.it/ Jabber: RedGlow - Linux registered user 299762 @ machine 213003

4 3

Stack Pointers for Exception Modes
by Wolfgang Johann BETZ 15 Nov '04

15 Nov '04

Hello, during my study of the bootstrap sequence of the L4/Arm source codes I have come to the following question: On which stacks get the exception handlers for exceptions like "fast interrupt" and "undefined instruction" executed and where in the sources get the (banked) stack pointers for these modes initialized? Thanks, Wolfgang

1 0

Various questions
by Mattia Belletti 11 Nov '04

11 Nov '04

I try to send this message again, since it seems it has not been posted: Hi all - I have some questions; I hope they have not already been posed! - I'm running a bare qemu + pistachio 0.4, and its kickstart + sigma0, with a little root server of my own, on a IA32 architecture. I ask for bootinfo location, and I find it's 0x1000 (that's where kickstart puts it, so it's ok). However, when I try accessing it, I obviously pagefault, but sigma0 refuses to give me that page. Anyway, if I _force_ it it to do (I've tweaked by hand source code), everything works fine - in fact the bootinfo is there, and it is correct. Did I get something wrong? - Little note: looking kickstart, I found this, around user/util/kickstart/mbi-loader.cc:486: if (use_bootinfo) { // Allocate and initialize a bootinfo structure. bi = init_bootinfo (&kip); rec = (L4_BootRec_t *) ((L4_Word_t) bi + bi->size); if (bi) // Record MBI modules rec = record_bootinfo_modules (bi, rec); else use_bootinfo = false; } (I'm referring to CVS version, If I remember well 0.4 version was exactly the same). The "rec = stuff" isn't wrong? If "bi" is set to NULL by the init_bootinfo (in case of OOM, if I remember well), this segfaults - well, don't know what it does exactly, since there's still no kernel around, and I don't remember IA32 defaults ;D - Looking L4 specs (even the latest - by the way, how come the sources theirselves aren't published? I would have found it useful when I did those searches about sigma0 ;D), I have found no satisfying explanation about the kinds of memory descriptors L4 knows about. That is, UndefinedMemoryType, BootLoaderSpecificMemoryType, ArchitectureSpecificMemoryType are obvious, but what are the differences between ConventionalMemoryType and SharedMemoryType? What between ReservedMemoryType and DedicatedMemoryType? What are their exact meanings? Not that I absolutely need to work this out now, but I would like to know this better! :-) - Last: what purpose sigma1 has? I remember reading something about it in the papers about transparent checkouts of kernel state, and stuff like that... Thank you all for the attention! :-) -- Mat/tia Belletti - Undergraduate student @ cs.unibo.it ICQ: 33292311 - email: mbellett(a)cs.unibo.it IRC: RedGlow - site(s): http://mbellett.web.cs.unibo.it/ Jabber: RedGlow - Linux registered user 299762 @ machine 213003

1 0

Problem booting Fiasco on Pentium IV
by Julian Grizzard 10 Nov '04

10 Nov '04

Hi, I was able to boot Fiasco on a PIII 450 Mhz, 128MB. However, I have tried the same procedure on a Pentium IV 2.5GHz, 1GB RAM and it does not work. I get to this point in the boot process and it stops: |RMGR: Stage1 | loading /boot/sigma0 | loading kernel /boot/main -nokdb -nowait | kernel at 00300000-0039d624 | detected new-style DD-L4(v2)/Fiasco | configuring sigma0: 00090000-00095000, start: 00090000 | reserve modules memory range: 00223000-0022d175 | starting kernel /boot/main -nokdb -nowait proto=0x101fa0 @ 0x00300aa0 | |Loading ELF image (kernel) at 0x303140 [entry 0xf0001000] I used all the defaults when building L4, rmgr, sigm0, and hello. Is there anything special I need to do when booting on an PIV? I also created a floppy disk and booted it on both the PIII and the PIV. It boots on the PIII but not on the PIV. Anyone have any ideas as to what my problem is? Here is my grub configuration: |title hello world | root (hd1,0) | kernel (/boot/rmgr -sigma0) | module /boot/main -nokdb -nowait | module /boot/sigma0 | module /boot/hello Anything else I can provide that would be useful? Thanks! -Julian

3 7

RE: L4Env on FreeBSD
by erob 06 Nov '04

06 Nov '04

Hi, I just made a simple L4Env::Dice module to put in shape my thougths about this.. The implementation is in perl and there's no code :-) Best regards, erob

1 0

L4Env on freebsd
by granted14＠yahoo.com 03 Nov '04

03 Nov '04

Hi, Recently I had a few things that would need your opinions or advices.. Since dde is very hot, is it possible to have L4Env in perl5 or in any other kind of low-level langage? The reason is for not having to write very optimized L4 code in raw IDL format or in C, since I have pratically no expression with them*. I don't know how or if compilers like Dice or IDL4 currently play nice with dde_linux, nor if it could work with a hypothetic dde_to_any (kind-of) librairy**. Does implementing this in perl gives the ability to have a cool system in L4 (snesh), as with the Hurd or with L4-Linux, or elses? Best regards, Etienne Robillard * I guess -- it's like implementing L4 in any languages feels kludgy for me, with all respect to the sens of this word ;) ** Note 2: In dde-0.02 theres already headers for dde_linux. Are theses autogenerated or do someone cares for them ? I would love to see dde_lites.h or dde_freebsd.h :-) ______________________________________________________________________ Post your free ad now! http://personals.yahoo.ca

1 0

what distro did you used?
by Tiago Jorge 31 Oct '04

31 Oct '04

Hello everybody. Just by plain curiosity and because i'm have many troubles booting Fedora Core 1 with L4Linux, what is the distro that you use to boot with the L4Linux kernel. Thanks Tiago

2 1

My adventures trying to boot L4Linux kernel + Fedora
by Tiago Jorge 25 Oct '04

25 Oct '04

hello again. I've downloaded from the L4Linux CVS the version that matches more with the kernel that my Fedora Core brings, 2.4.22. I've made make menuconfig and, as instructed, removed all thing that messed with the hardware himself(APM, ACPI, etc), make, make modules and make modules_install. I've made mkinitrd to make a initrd file. When i try to boot it, it gives-me this error (same in vmware and physicaly, but i've done it in vmware now to send the error) ================================================ Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_NDEBUG is off Found VMWare: Using normal pic mode Using the RTC on IRQ 8 (1kHz) for scheduling Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz 32 Entry I TLB (4K pages) 64 Entry D TLB (4K 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) 512 KB L2 U Cache (4-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: yes. Allocated 84kB for maintenance structures. RMGR: Stage2 running on Fiasco bootloader loaded 1 module at 02059000-022035c1 total RAM size = 64062 KB (reported by bootloader) received 57604 KB RAM from sigma0 812 KB reserved for RMGR received no I/O ports attached irqs = [ 0 1 2 3 4 5 6 7 8 9 a b c d e f ] RMGR: Starting tasks. #05: loading "(nd)/fiasco/vmlinuz.V2 no-scroll no-hlt l4irqack=linux initrd=2.4.22-l4-env.img root=/dev/hda5" from 02059000-022035c0 to [ 003ff000-00537500 00538000-005a2620 005a4000-00640560 ] starting at entry 003ff000 via trampoline page code 000621a4 RMGR found at 04.01 bootmem: 641000, 39d2000 start_pfn=641000, bootmap_size = 73c Linux version 2.4.22-l4-dev (root(a)localhost.localdomain) (gcc version 2.95.3 20010315 (release)) #12 Mon Oct 25 10:44:43 WEST 2004 BIOS-provided physical RAM map: BIOS-88: 0000000000062000 - 0000000000091000 [ 188KiB] (usable) BIOS-88: 0000000000095000 - 000000000009f000 [ 40KiB] (usable) BIOS-88: 000000000009f000 - 0000000000100000 [ 388KiB] (reserved) BIOS-88: 0000000000100000 - 0000000000129000 [ 164KiB] (usable) BIOS-88: 000000000018e000 - 0000000000400000 [ 2504KiB] (usable) BIOS-88: 0000000000400000 - 0000000003800000 [ 53248KiB] (usable) BIOS-88: 0000000003800000 - 00000000039d2000 [ 1864KiB] (usable) 57MB LOWMEM available. hm, page 00000000 reserved twice. pagetable_init: "Mapped" 1287 4K und 13 4M pages. On node 0 totalpages: 14802 zone(0): 4096 pages. zone(1): 10706 pages. zone(2): 0 pages. Kernel command line: no-scroll no-hlt l4irqack=linux initrd=2.4.22-l4-env.img root=/dev/hda5 l4irqack: L4Linux acknowledges IRQs itself Detected 500.640 MHz processor. l4lx_irq_timer_startup(0) timer_irq_thread: Starting timer IRQ thread CPU 0. Console: colour VGA+ 80x25 Calibrating delay loop... 907.67 BogoMIPS Memory: 52532k/59208k available (1045k kernel code, 5476k reserved, 514k data, 104k init, 0k highmem) Dentry cache hash table entries: 8192 (order: 4, 65536 bytes) Inode cache hash table entries: 4096 (order: 3, 32768 bytes) Mount cache hash table entries: 512 (order: 0, 4096 bytes) Buffer cache hash table entries: 1024 (order: 0, 4096 bytes) Page-cache hash table entries: 16384 (order: 4, 65536 bytes) CPU: L1 I cache: 16K, L1 D cache: 16K CPU: L2 cache: 512K CPU: Intel Pentium III (Katmai) stepping 08 POSIX conformance testing by UNIFIX PCI: PCI BIOS revision 2.10 entry at 0xfd9a0, last bus=1 PCI: Using configuration type 1 PCI: Probing PCI hardware PCI: Probing PCI hardware (bus 00) PCI: Using IRQ router PIIX [8086/7110] at 00:07.0 PCI: Cannot allocate resource region 4 of device 00:07.1 Limiting direct PCI/PCI transfers. isapnp: Scanning for PnP cards... isapnp: No Plug & Play device found Linux NET4.0 for Linux 2.4 Based upon Swansea University Computer Society NET3.039 Initializing RT netlink socket Starting kswapd VFS: Disk quotas vdquot_6.5.1 Detected PS/2 Mouse Port. l4lx_irq_dev_startup: creating IRQ thread for 1 irq_thread: Starting IRQ thread for IRQ 1 pty: 2048 Unix98 ptys configured keyboard: Timeout - AT keyboard not present?(ed) Serial driver version 5.05c (2001-07-08) with MANY_PORTS MULTIPORT SHARE_IRQ SERIAL_PCI ISAPNP enabled ttyS00 at 0x03f8 (irq = 4) is a 16550A ttyS01 at 0x02f8 (irq = 3) is a 16550A l4lx_irq_dev_startup: creating IRQ thread for 8 irq_thread: Starting IRQ thread for IRQ 8 wait_for_irq_message: IRQ 8 (00.00) receive failed, code = 0x10 =========================================================== and crashes in the last line... Could someone give an hint? Thanks in advance Tiago Jorge

2 1

RE:My adventures trying to boot L4Linux kernel + Fedora
by Tiago Jorge 25 Oct '04

25 Oct '04

I have in the IRQ8 the RTC of the system... >hello again. >I've downloaded from the L4Linux CVS the version that matches more with >the kernel that my Fedora Core brings, 2.4.22. >I've made make menuconfig and, as instructed, removed all thing that >messed with the hardware himself(APM, ACPI, etc), make, make modules and >make modules_install. >I've made mkinitrd to make a initrd file. >When i try to boot it, it gives-me this error (same in vmware and >physicaly, but i've done it in vmware now to send the error) >================================================ >Welcome to Fiasco(ia32)! >DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden >Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium >Performance-critical config option(s) detected: > CONFIG_SCHED_RTC is on > CONFIG_NDEBUG is off > >Found VMWare: Using normal pic mode >Using the RTC on IRQ 8 (1kHz) for scheduling >Absolute KIP Syscalls using: Sysenter >CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz > > 32 Entry I TLB (4K pages) > 64 Entry D TLB (4K 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) > 512 KB L2 U Cache (4-way associative, 32 bytes per line) > >Freeing init code/data: 20480 bytes (5 pages) > >SIGMA0: Hello! > Found Fiasco: KIP syscalls: yes. > Allocated 84kB for maintenance structures. > >RMGR: Stage2 > running on Fiasco > bootloader loaded 1 module at 02059000-022035c1 > total RAM size = 64062 KB (reported by bootloader) > received 57604 KB RAM from sigma0 > 812 KB reserved for RMGR > received no I/O ports > attached irqs = [ 0 1 2 3 4 5 6 7 8 9 a b c d e f ] > >RMGR: Starting tasks. >#05: loading "(nd)/fiasco/vmlinuz.V2 no-scroll no-hlt l4irqack=linux >initrd=2.4.22-l4-env.img root=/dev/hda5" > from 02059000-022035c0 to [ 003ff000-00537500 00538000-005a2620 >005a4000-00640560 ] > starting at entry 003ff000 via trampoline page code 000621a4 > >RMGR found at 04.01 >bootmem: 641000, 39d2000 >start_pfn=641000, bootmap_size = 73c >Linux version 2.4.22-l4-dev (root at localhost.localdomain <http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers>) (gcc version >2.95.3 20010315 (release)) #12 Mon Oct 25 10:44:43 WEST 2004 >BIOS-provided physical RAM map: > BIOS-88: 0000000000062000 - 0000000000091000 [ 188KiB] (usable) > BIOS-88: 0000000000095000 - 000000000009f000 [ 40KiB] (usable) > BIOS-88: 000000000009f000 - 0000000000100000 [ 388KiB] (reserved) > BIOS-88: 0000000000100000 - 0000000000129000 [ 164KiB] (usable) > BIOS-88: 000000000018e000 - 0000000000400000 [ 2504KiB] (usable) > BIOS-88: 0000000000400000 - 0000000003800000 [ 53248KiB] (usable) > BIOS-88: 0000000003800000 - 00000000039d2000 [ 1864KiB] (usable) >57MB LOWMEM available. >hm, page 00000000 reserved twice. >pagetable_init: "Mapped" 1287 4K und 13 4M pages. >On node 0 totalpages: 14802 >zone(0): 4096 pages. >zone(1): 10706 pages. >zone(2): 0 pages. >Kernel command line: no-scroll no-hlt l4irqack=linux >initrd=2.4.22-l4-env.img root=/dev/hda5 >l4irqack: L4Linux acknowledges IRQs itself >Detected 500.640 MHz processor. >l4lx_irq_timer_startup(0) >timer_irq_thread: Starting timer IRQ thread CPU 0. >Console: colour VGA+ 80x25 >Calibrating delay loop... 907.67 BogoMIPS >Memory: 52532k/59208k available (1045k kernel code, 5476k reserved, 514k >data, 104k init, 0k highmem) >Dentry cache hash table entries: 8192 (order: 4, 65536 bytes) >Inode cache hash table entries: 4096 (order: 3, 32768 bytes) >Mount cache hash table entries: 512 (order: 0, 4096 bytes) >Buffer cache hash table entries: 1024 (order: 0, 4096 bytes) >Page-cache hash table entries: 16384 (order: 4, 65536 bytes) >CPU: L1 I cache: 16K, L1 D cache: 16K >CPU: L2 cache: 512K >CPU: Intel Pentium III (Katmai) stepping 08 >POSIX conformance testing by UNIFIX >PCI: PCI BIOS revision 2.10 entry at 0xfd9a0, last bus=1 >PCI: Using configuration type 1 >PCI: Probing PCI hardware >PCI: Probing PCI hardware (bus 00) >PCI: Using IRQ router PIIX [8086/7110] at 00:07.0 >PCI: Cannot allocate resource region 4 of device 00:07.1 >Limiting direct PCI/PCI transfers. >isapnp: Scanning for PnP cards... >isapnp: No Plug & Play device found >Linux NET4.0 for Linux 2.4 >Based upon Swansea University Computer Society NET3.039 >Initializing RT netlink socket >Starting kswapd >VFS: Disk quotas vdquot_6.5.1 >Detected PS/2 Mouse Port. >l4lx_irq_dev_startup: creating IRQ thread for 1 >irq_thread: Starting IRQ thread for IRQ 1 >pty: 2048 Unix98 ptys configured >keyboard: Timeout - AT keyboard not present?(ed) >Serial driver version 5.05c (2001-07-08) with MANY_PORTS MULTIPORT >SHARE_IRQ SERIAL_PCI ISAPNP enabled >ttyS00 at 0x03f8 (irq = 4) is a 16550A >ttyS01 at 0x02f8 (irq = 3) is a 16550A >l4lx_irq_dev_startup: creating IRQ thread for 8 >irq_thread: Starting IRQ thread for IRQ 8 >wait_for_irq_message: IRQ 8 (00.00) receive failed, code = 0x10 > >=========================================================== > >and crashes in the last line... > >Could someone give an hint? > >Thanks in advance > >Tiago Jorge

1 0

Building and Using the Fiasco µ-Kernel, new user
by Julian Grizzard 25 Oct '04

25 Oct '04

Hi all, I am just starting to look into the Fiasco microkernel for some research I am doing. This looks like a very neat project and you guys have done some great work! I have followed the build instructions located at: http://os.inf.tu-dresden.de/fiasco/use.html as a starting point and wanted to share the two problems I ran into. First, I could not get the "make config" to work on my gentoo system (gcc 3.3.4, make 3.80). This is what happened: $ make config make -C ./tool/config make: *** C-Compiler needs target arch. Maybe you mean HOST_CC. Stop. $ Not sure what the problem is. I noticed the message appears to be the contents of the ${CC_} variable in l4/mk/Makeconf. My work around was to compile on a redhat 8.0 box. Second, I had this problem when I booted the system: --init--------------------------------------EIP: f0010a0f jdb: Here is the grub configuration I used on the floppy (from http://os.inf.tu-dresden.de/fiasco/use.html) # this is /floppy/boot/grub/menu.lst title hello world kernel (fd0)/rmgr -sigma0 module (fd0)/main -nokdb module (fd0)/sigma0 module (fd0)/hello After digging around, I decided to change the thid line from "module (fd0)/main -nokdb" to "module (fd0)/main -nokdb -nowait". Is this correct? It seems to be working. Thanks! -Julian

3 5

Problem building L4Linux
by Tiago Jorge 22 Oct '04

22 Oct '04

Like i said in previous emails, im trying to boot the Fedora Core 1 that i have in my disk with the L4 u-kernel. I've done a classic config stuff... i went to get the Fedora kernel config file and put it like.config in L4Linux kernel directory. I've configured the l4 options i tried to built it. I'm trying to build the 2.4.22 L4Linux kernel. The error that gave me it's here... -D__KERNEL__ -I/root/l4linux-2.4/include -Wall -Wstrict-prototypes -Wno-trigraphs -O2 -fno-strict-aliasing -fno-common -fomit-frame-pointer -g -DLINUX_ON_L4 -pipe -mpreferred-stack-boundary=2 -march=i686 -nostdinc -iwithprefix include -DKBUILD_BASENAME=apm -c -o apm.o apm.c apm.c: In function `apm_bios_call': apm.c:626: warning: implicit declaration of function `loadsegment' apm.c:626: error: `fs' undeclared (first use in this function) apm.c:626: error: (Each undeclared identifier is reported only once apm.c:626: error: for each function it appears in.) apm.c:626: error: `gs' undeclared (first use in this function) apm.c: In function `apm_bios_call_simple': apm.c:679: error: `fs' undeclared (first use in this function) apm.c:679: error: `gs' undeclared (first use in this function) apm.c: In function `apm_init': apm.c:1984: warning: implicit declaration of function `set_base' apm.c:1984: error: `gdt' undeclared (first use in this function) apm.c:1986: warning: implicit declaration of function `_set_limit' make[1]: *** [apm.o] Error 1 make[1]: Leaving directory `/root/l4linux-2.4/arch/l4/kernel' make: *** [_dir_arch/l4/kernel] Error 2 Could somebody help me Thaks in advance Tiago

2 1

Problem booting L4Linux 2.4 + L4Env (Part 3)
by Tiago Jorge 21 Oct '04

21 Oct '04

Hello again... On Thu Oct 21, 2004 at 16:14:14 +0100, Tiago Jorge wrote: >>/ 1. I'm trying to boot the Fedora Core 1 that i have in my disk with />>/ L4Linux kernel but i haven't found a way yet. Like we say here in />>/ portugal, i've been trying to "hammer" a solution, but didn't worked />>/ out. my grub.conf looks like this: />>/ />>/ title Fiasco + L4Linux />>/ root (hd0,0) />>/ kernel /fiasco/rmgr -sigma0 task modname "vmlinuz" module />>/ modaddr 0x02000000 />>/ module /fiasco/main -nokdb -nowait -serial_esc -comspeed 115200 -comport 1 />>/ module /fiasco/sigma0 />>/ module /fiasco/vmlinuz no-scroll no-hlt l4irqack=linux root=/dev/hda5 />>/ module /fiasco/2.2.27.img <===== i'm doing this beacause i can't />>/ use initrd / >If you don't want to use an initrd, remove the "module" statement from >the RMGR line. (For further issues please include the error messages as >well, it's easier for us to figures out what's going on.) ok. i didn't explain myself right. I must pass to the kernel an init, but i can't use the initrd command from GRUB, but i found out that initrd can be passed to the kernel as an argument. >/> is this the right way to do it? Im i missing something? he says that />/> can't find a init and even when sometimes he loads the img, it crashes />/> while loading it from disk. /dev/hda5 is my / partition. / >What's the 2.2.27.img file? The file name doesn't sound likes it's a rd. this file is a initrd file to the L4Linux kernel. What i'm trying to do is boot the Fedora that i have in the disk using the new kernel. But i think i have overcome the L4 problems. Now is just plain Linux Kernel problems (i think)... but tks for the help anyway. cheers Tiago <http://os.inf.tu-dresden.de/%7Eadam/>

1 0

Problem booting L4Linux 2.4 + L4Env (Part 3)
by Tiago Jorge 21 Oct '04

21 Oct '04

ok... i think this is my last email today for this to work... :) I can now boot L4Linux with the drops RAMdisk and everything goes all right in VMware and in real hardware. But now i have a few more questions: 1. I'm trying to boot the Fedora Core 1 that i have in my disk with L4Linux kernel but i haven't found a way yet. Like we say here in portugal, i've been trying to "hammer" a solution, but didn't worked out. my grub.conf looks like this: title Fiasco + L4Linux root (hd0,0) kernel /fiasco/rmgr -sigma0 task modname "vmlinuz" module modaddr 0x02000000 module /fiasco/main -nokdb -nowait -serial_esc -comspeed 115200 -comport 1 module /fiasco/sigma0 module /fiasco/vmlinuz no-scroll no-hlt l4irqack=linux root=/dev/hda5 module /fiasco/2.2.27.img <===== i'm doing this beacause i can't use initrd is this the right way to do it? Im i missing something? he says that can't find a init and even when sometimes he loads the img, it crashes while loading it from disk. /dev/hda5 is my / partition. 2. Is it mandatory in L4Env boot to have the tftp server? can't i boot it from disk? Ok... i'm beeing very annoying for today, but i'll write a tutorial in the end :))) Thaks in advance Tiago

2 1

Re:Re: Problem booting L4Linux 2.4 + L4Env (Part 2)
by Tiago Jorge 21 Oct '04

21 Oct '04

Thaks for the fast aswering... i don't what at any means to monopilize yout time :) >On Thu Oct 21, 2004 at 10:19:48 +0100, Tiago Jorge wrote: >> exec | vmlinuz.l4env: Packed 70835 bytes of lines >> loader | vmlinuz.l4env,#e: Continue at l4env_init (00013fb0, >> libloader.s.so) > >> KERNEL: e.0 (tcb=c0380000) killed: >> Unhandled trap >> >> EAX 00000000 EBX 000303f4 ECX 0000000b EDX 00000000 >> ESI ffffffff EDI ffffffff EBP 00009e10 ESP 00009dd8 >> EIP eacff100 EFLAGS 00013212 >> CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0023 >> trapno 14, error 00000004, from user mode >> page fault linear address eacff100 >> >Enable "Provide system-call entry code in the KIP" and set it to ABS. >This should fix it. sorry about my ignorance, but... where should i enable this option...? i've been looking for it in the linux and l4 configs but haven't found it >> another doubt... what is drops.rd? an initialization file? is it equal >> to every arquitechture? >It's just a ramdisk containing a small Linux system. (You can gunzip and >mount it.) Thaks for your patience Tiago >Adam >-- >Adam [EMAIL PROTECTED] > Lackorzynski http://os.inf.tu-dresden.de/~adam/ <http://os.inf.tu-dresden.de/%7Eadam/> >_______________________________________________ >l4-hackers mailing list >[EMAIL PROTECTED] >http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

2 1

Problem booting L4Linux 2.4 + L4Env (Part 2)
by Tiago Jorge 21 Oct '04

21 Oct '04

hello to you all. I've sent my first email yesterday but i havent introduced myself. I'm Tiago Jorge, from the Faculty of Sciences of the University of Lisbon, and i'm doing my final work (Building a TCB using a u-kernel, in this case L4 plus all the additions that you and others have made for it). So, i wiil be "bugging" you for a short while from know :). Yesterday, i couldn't boot "names" server. Today i've have acheived that goal. I thank here all the fast aswers that people gave to me :). Today i've encountered another problem. This problem happens with the L4Linux kernel (i think!!), using it with his plain version and with his L4Env version, but i will focus on the L4Env version. Here is the log from the log server: ====================================================== Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_NDEBUG is off Found VMWare: Using normal pic mode Using the RTC on IRQ 8 (1kHz) for scheduling CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz 32 Entry I TLB (4K pages) 64 Entry D TLB (4K 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) 512 KB L2 U Cache (4-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: no. Allocated 117kB for maintenance structures. RMGR: Stage2 running on Fiasco bootloader loaded 8 modules at 005f9000-00706175 total RAM size = 199230 KB (reported by bootloader) received 181920 KB RAM from sigma0 812 KB reserved for RMGR received no I/O ports attached irqs = [ 0 1 2 3 4 5 6 7 8 9 a b c d e f ] RMGR: Parsing config. WARNING: couldn't find modname L4Linux task, only storing it's quota configured task 0x0d: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:10 small:ff ] log_mask: 00000000, log_types: 00000000 RMGR: Starting tasks. #05: loading "(nd)/fiasco/log" from 005f9000-00602174 to [ 00400000-004064a0 00407000-00434000 ] starting at entry 00400000 via trampoline page code 00062154 #06: loading "(nd)/fiasco/dm_phys" from 00603000-00618174 to [ 01500000-015126c0 01513000-0151d000 ] starting at entry 01500000 via trampoline page code 00063158 #07: loading "(nd)/fiasco/simple_ts -t 300" from 00619000-00624174 to [ 01400000-014085e0 01409000-01417000 ] starting at entry 01400000 via trampoline page code 00064164 #08: loading "(nd)/fiasco/l4io --noirq" from 00625000-00675174 to [ 00b70000-00b930ab 00b94000-00bc7000 ] starting at entry 00b70000 via trampoline page code 00065160 #09: loading "(nd)/fiasco/names" from 00676000-0067f174 to [ 00200000-00206c40 00207000-00210000 ] starting at entry 00200000 via trampoline page code 00066158 #0a: loading "(nd)/fiasco/tftp -i" from 00680000-006ae174 to [ 01000000-0102a78c 0102b000-0104b000 ] starting at entry 01000000 via trampoline page code 00067158 #0b: loading "(nd)/fiasco/l4exec" from 006af000-006dc174 to [ 01100000-0112a04b 0112b000-01135000 ] starting at entry 01100000 via trampoline page code 00068158 #0c: loading "(nd)/fiasco/loader (nd)/fiasco/l4linux.l4env" from 006dd000-00706174 to [ 01300000-01326d2b 01327000-01337000 ] starting at entry 01300000 via trampoline page code 00069174 loader | OSKit support: using 128KB at 0x00002000 as heap exec | OSKit support: using 4096KB at 0x00400000 as heap io | OSKit support: using 1024KB at 0x00180000 as heap io | do_args(): Disabling internal IRQ handling. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Cannot allocate resource region 4 of device 00:07.1 io | Limiting direct PCI/PCI transfers. io | 00000000-ffffffff : PCI mem io | f4000000-f400001f : BusLogic BT-946C (BA80C30) [MultiMaster 10] io | f5000000-f5ffffff : PCI device 15ad:0405 (VMWare Inc) io | f6000000-f6ffffff : PCI device 15ad:0405 (VMWare Inc) io | f8000000-fbffffff : Intel Corp. 440BX/ZX/DX - 82443BX/ZX/DX Host br io : idge io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | 1000-103f : Intel Corp. 82371AB/EB/MB PIIX4 ACPI io | 1040-105f : Intel Corp. 82371AB/EB/MB PIIX4 ACPI io | 1060-107f : Intel Corp. 82371AB/EB/MB PIIX4 USB io | 1080-10ff : Advanced Micro Devices [AMD] 79c970 [PCnet32 LANCE] io | 1400-143f : Ensoniq ES1371 [AudioPCI-97] io | 1440-145f : BusLogic BT-946C (BA80C30) [MultiMaster 10] io | 1460-146f : PCI device 15ad:0405 (VMWare Inc) io | 1470-147f : Intel Corp. 82371AB/EB/MB PIIX4 IDE tftp | NICs supported: E1000, EEPRO100, NE2000/PCI, PCNET32/PCI, RTL8139, tftp | Tulip, VIA 86C100 tftp | Found lancepci tftp | PCnet chip version is 0x2621003. tftp | PCnet/PCI II 79C970A at 1080 tftp | Ethernet address 00:0C:29:7E:2F:B6 tftp | Address: 192.168.246.130 Netmask: 255.255.255.0 tftp | Server: 192.168.246.1 Gateway: 192.168.246.1 tftp | Loading (nd)/fiasco/l4linux.l4env [1kB] exec | vmlinuz.l4env: Loading tftp | Loading (nd)/fiasco/vmlinuz.l4env [2259kB] exec | vmlinuz.l4env: Has no symbols exec | vmlinuz.l4env: Has no lines exec | libloader.s.so: Loading tftp | Loading (nd)/fiasco/libloader.s.so [572kB] exec | libloader.s.so: Saved 21629 bytes of symbols exec | libloader.s.so: Relocating to 0000e000 exec | libloader.s.so: Linking exec | libloader.s.so: Relocating entry 00005800 => 00013800 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz.l4env: Setting section flag 0800 loader | vmlinuz.l4env: Starting l4env-style application loader | vmlinuz.l4env,#e: Starting at l4loader_init (00013f50) exec | vmlinuz.l4env: Linking exec | vmlinuz.l4env: Relocating entry 003ff100 => 003ff100 exec | vmlinuz.l4env: Packed 17708 bytes of symbols exec | vmlinuz.l4env: Packed 70835 bytes of lines loader | vmlinuz.l4env,#e: Continue at l4env_init (00013fb0, libloader.s.so) KERNEL: e.0 (tcb=c0380000) killed: Unhandled trap EAX 00000000 EBX 000303f4 ECX 0000000b EDX 00000000 ESI ffffffff EDI ffffffff EBP 00009e10 ESP 00009dd8 EIP eacff100 EFLAGS 00013212 CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0023 trapno 14, error 00000004, from user mode page fault linear address eacff100 ============================================================== another doubt... what is drops.rd? an initialization file? is it equal to every arquitechture? Thaks in advance Tiago

2 1

Problems booting L4Linux2.4+L4Env
by Tiago Jorge 21 Oct '04

21 Oct '04

hello to you all. I'm trying to boot L4Linux 2.4 with the L4Env following the explanation that is in L4Linux webpage, i have encontered a problem. "names" is the only server that is getting a memory page where he shouldn't. How can i solve this problem? (I'm sending the log in attach) Thaks Tiago Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium Performance-critical config option(s) detected: CONFIG_SCHED_RTC is on CONFIG_NDEBUG is off Found VMWare: Using normal pic mode Using the RTC on IRQ 8 (1kHz) for scheduling CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz 32 Entry I TLB (4K pages) 64 Entry D TLB (4K 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) 512 KB L2 U Cache (4-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: no. Allocated 107kB for maintenance structures. RMGR: Stage2 running on Fiasco bootloader loaded 8 modules at 005f9000-00706175 total RAM size = 158270 KB (reported by bootloader) received 144248 KB RAM from sigma0 812 KB reserved for RMGR received no I/O ports attached irqs = [ 0 1 2 3 4 5 6 7 8 9 a b c d e f ] RMGR: Parsing config. WARNING: couldn't find modname L4Linux task, only storing it's quota configured task 0x0d: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:10 small:ff ] log_mask: 00000000, log_types: 00000000 RMGR: Starting tasks. #05: loading "(nd)/fiasco/log" from 005f9000-00602174 to [ 00400000-004064a0 00407000-00434000 ] starting at entry 00400000 via trampoline page code 00062154 #05: loading "(nd)/fiasco/log" from 005f9000-00602174 to [ 00400000-004064a0 00407000-00434000 ] starting at entry 00400000 via trampoline page code 00062154 #06: loading "(nd)/fiasco/dm_phys" from 00603000-00618174 to [ 01500000-015126c0 01513000-0151d000 ] starting at entry 01500000 via trampoline page code 00063158 #07: loading "(nd)/fiasco/simple_ts -t 300" from 00619000-00624174 to [ 01400000-014085e0 01409000-01417000 ] starting at entry 01400000 via trampoline page code 00064164 #08: loading "(nd)/fiasco/l4io --noirq" from 00625000-00675174 to [ 00b70000-00b930ab 00b94000-00bc7000 ] starting at entry 00b70000 via trampoline page code 00065160 #09: loading "(nd)/fiasco/names" from 00676000-0067f174 to [ 001c8000-001cec40 cannot allocate page at 0x001c8000: owned by #01 boot panic Return reboots, "k" enters L4 kernel debugger...

4 3

usb driver
by Deepak Manohar 18 Oct '04

18 Oct '04

Hi all, does anyone have a usb driver for a mass storage device that works on L4? deepak

1 0

grub-0.95
by Rudolf Weber 11 Oct '04

11 Oct '04

Hallo, I adaped the patch for grup for grub-0.95. The grub in the Dresden CVS don't compile with gcc-3.3. and gcc-3.4.0 (as I tried it) Grub2 is very promissing, but it don't find the symbol tyble (as I tried it) I think it is a good idea to put the Dresdner grub enhancement in the official grub2. Greetings Rudolf Weber P.S: My new Notebook boots now from the net and the grub have now variables ... P.P.S: I have worked on RACE http://www.infnet.verein.de/produkte/race/ and dream to map ACE/RACE on L4 -- -- --------------------------------------------------------------- Rudolf Weber http://www.infnet.verein.de/~rw E-Mail: rfweber(a)tesionmail.de

2 1

name_server problem
by Leon 28 Sep '04

28 Sep '04

Hi all, I am having a problem with the new name_server from the l4vfs package. I load it the name_server module with grub: kernel (nd)/fiasco/rmgr -sigma0 task modname "L4Linux task" modaddr 0x02000000 module (nd)/fiasco/fiasco -nowait -nokdb -nofancy -serial -comspeed 115200 -comport 1 module (nd)/fiasco/sigma0 module (nd)/fiasco/names module (nd)/fiasco/log module (nd)/fiasco/dm_phys module (nd)/fiasco/l4io --noirq module (nd)/fiasco/tftp -i -s 192.168.1.4 module (nd)/fiasco/simple_ts module (nd)/fiasco/l4exec module (nd)/fiasco/l4dope --l4io module (nd)/fiasco/name_server module (nd)/fiasco/loader (nd)/fiasco/dope-l4linux.cfg vbeset 0x117 and it produces the following debug output: name_ser| main(): 2 ... (0)/ file1 (56.1) test3 (5)/ c (8)/ b (7)/ a (6)/ test2 (4)/ test1 (3)/ server (2)/ linux (1)/ name_ser| main(): 3 ... Q1: Where did the name_server get these names? I wanted to test the name_server module so I ran "name_server_test" which always crashes with output: tftp | Loading (nd)/fiasco/name_server_test [549kB] loader | "(nd)/fiasco/name_server_test" is a valid binary image loader | Setting libpath to (nd)/fiasco/ exec | name_server_test: Loading exec | name_server_test: Has no dynamic info exec | name_server_test: Saved 20647 bytes of symbols exec | name_server_test: library "libloader.s.so" not found loader | name_server_test: Starting sigma0-style application exec | name_server_test: Packed 14374 bytes of symbols exec | name_server_test: Packed 69740 bytes of lines loader | name_server_test,#14: Entry at 00009c74 => 00980000 loader | name_server_test,#14: Started run | . n_s_test| main(): Results follow below (should be as predicted (123) == '123'). n_s_test| main(): Volume stuff: ******************* n_s_test| main(): Name server thread id (8.2) 'D.02' name_ser| l4vfs_basic_name_server_thread_for_volume_component(): Before: l4vfs_ name_ser: basic_name_server_thread_for_volume_component() name_ser| l4vfs_basic_name_server_thread_for_volume_component(): After: l4vfs_b name_ser: asic_name_server_thread_for_volume_component() n_s_test| main(): Volume server for NS volume (8.2) 'D.02' name_ser| l4vfs_basic_name_server_thread_for_volume_component(): Before: l4vfs_ name_ser: basic_name_server_thread_for_volume_component() name_ser| l4vfs_basic_name_server_thread_for_volume_component(): After: l4vfs_b name_ser: asic_name_server_thread_for_volume_component() n_s_test| main(): Volume server for other volume (0.0) '7FF.7F' name_ser| l4vfs_name_space_provider_register_volume_component(): register_volum name_ser: e: 5.0 name_ser| L4RM: [PF] read at 0x012ffd14, eip 012003f9, src D.02 name_ser| [D.0] l4rm/lib/src/pagefault.c:75:__unknown_pf(): name_ser| unhandled page fault I seem to get a lot of Double PF when loading my own or test programs. Any suggestions welcome! Thanks Leon

6 19

Returned mail: see transcript for details
by xaoveeyoyobb＠spammotel.com 25 Sep '04

25 Sep '04

The original message was received at Sat, 25 Sep 2004 06:04:01 -0400 from localhost [127.0.0.1] ----- The following addresses had permanent fatal errors ----- <xaoveeyoyobb(a)spammotel.com> (reason: 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space.) ----- Transcript of session follows ----- ... while talking to mx-ha01.web.de.: >>> DATA <<< 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space. 550 5.1.1 <xaoveeyoyobb(a)spammotel.com>... User unknown <<< 503 Valid RCPT TO <recipient> must precede DATA 451 4.0.0 Cannot open hash database /etc/mail/aliases.db: Invalid argument

1 0

Returned mail: see transcript for details
by xaoveeyoyobb＠spammotel.com 24 Sep '04

24 Sep '04

The original message was received at Fri, 24 Sep 2004 16:36:23 -0400 from localhost [127.0.0.1] ----- The following addresses had permanent fatal errors ----- <xaoveeyoyobb(a)spammotel.com> (reason: 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space.) ----- Transcript of session follows ----- ... while talking to mx-ha01.web.de.: >>> DATA <<< 550 <xaoveeyoyobb(a)spammotel.com> Benutzer hat das Speichervolumen ueberschritten. / User has exhausted allowed storage space. 550 5.1.1 <xaoveeyoyobb(a)spammotel.com>... User unknown <<< 503 Valid RCPT TO <recipient> must precede DATA 451 4.0.0 Cannot open hash database /etc/mail/aliases.db: Invalid argument

1 0

C++ and dietlibc
by Leon 23 Sep '04

23 Sep '04

Hi all, I am trying to port (test) a small C++ app, which uses sockets, to the L4 environment. Most of the FLIPS examples uses the mode=l4env_base which includes dietlibc paths. I've tried to compile the app against libstdc++ and dietlibc but they do not seem compatible. The C++ app successfully compiles when using l4env_freebsd, but as soon as I include the Linux24/include directory to get the socket headers then there is a lot of clashes (duplicate defines) with the Oskit. This is obviously the reason for dietlibc in FLIPS, but the problem then is that dietlibc is not C++ compatible. With "compatible" I mean that some of the functions (like putc) is defined and not declared in the stdio.h file of dietlibc, which is then actually undefined in the cstdio file when the functions are moved to the STD namespace. Q1: Is this true - any suggestions? Thanks Leon

2 2

Fw: Re: Question about the OS Group
by R. Tyler Ballance 20 Sep '04

20 Sep '04

Anyways, minor question regarding the L4-Linux (or Fiasco for that matter) First off, I have some decent Compaq Pentium 1 desktops back home I could easily commandeer for hacking on. (I'm in college, so home is a 5 hour trip away) Will it run fine? I know system builds will suck, but it should work fine right? Secondly, I understand fully how a microkernel works, i've seen the schematics, flow charts, etc, but I'm confused at how a driver, for example, would be coded. Is it something that one hacks into userland? (Is it portable across L4 Operating Systems? (L4Linux, Fiasco, etc) Or does L4 have some special way of handling drivers? I know for example, that the Mach "microkernel" that Apple has bastardized for Darwin handles networking and such in the userland (it's been a while since i've played around on Darwin however) -Tyler ----------------- R. Tyler Ballance NetBSD-FreeBSD

6 7