l4-hackers November 2004

l4-hackers@os.inf.tu-dresden.de

11 participants
8 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers November 2004