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 … [View More]

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: … [View More]

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 … [View More]

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_ … [View More]

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 … [View More]

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 … [View More]

1 0

2025

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