l4-hackers November 2003

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

9 participants
5 discussions

microkernel and realtime
by Yu Neil 24 Nov '03

24 Nov '03

hello: Recently, I consider implementation heritical scheduler on top of the l4 microkernel, But we meet a problem, the Pistachio handled the interrupt in microkernel internal, In that time, I remember a project in TU-Dresden is build on top of microkernel, But it`s implementation in the old l4 interface, just like the Hazelnut that not handled the interrupt (?), The suitation is some microkernel abstract the interrupt and some microkernel not abstract the interrupt. Can we … [View More]

3 2

Various L4-related questions...
by Michael Engel 17 Nov '03

17 Nov '03

Hi, it's quite some time since I last had a look at L4 and a lot seems to have happened since then. As I'm planning to use a L4-derived microkernel as basis for a research project here at Marburg University, I have some questions for the experts... The currently maintained L4-compatible microkernels seem to be Fiasco (Dresden) and L4KA::Hazelnut/Pistachio (Karlsruhe). Is there a document describing the differences/compatibility between the various versions, probably comparing these … [View More]

4 3

Fiasco 1.1 microkernel released
by Udo A. Steinberg 11 Nov '03

11 Nov '03

Hello L4 hackers, The Fiasco Team is pleased to announce version 1.1 of the Fiasco L4 microkernel developed at the University of Technology, Dresden and released under the GNU General Public License (GPL). This Fiasco release is mostly a bugfix release. Among the new features added in version 1.1 is support for the ARM processor architecture, the integration of the powerful Fiasco kernel debugger (JDB) into the Fiasco-UX usermode kernel and a completely revised "tagged TLB" emulation (also … [View More]

1 0

RE: l4-ka, c++!
by M. Edward Borasky 08 Nov '03

08 Nov '03

Thanks!! I'm just getting into this L4 / Hurd game. My main concern isn't efficiency -- I leave the speed issues to the folks who give us a 2X clock frequency boost every 18 months. :) My concerns are correctness and stability of the OS, and various project management issues like predictability and stability of dates, interfaces and specifications, production of accurate and usable documentation, etc. I'm by no stretch of the imagination a competent C++ programmer; I can just barely read C++ … [View More]

1 0

some newbie questions
by cyberspas＠narod.ru 05 Nov '03

05 Nov '03

Hello l4-hackers, I run my small program as root task on top of Pistachio 0.3 microkernel and receive some errors when it run. All works fine, but when in KDB i try to use change verbose level of sigma0 once and again (about 5-6 times) I receive Assertion: Assertion !tcb->queue_state.is_set(queue_state_t::ready) failed in file /home/tosha/pistachio-0.3/kernel/include/api/v4/schedule.h, line 296 (fn=f010099b2) Can you explain me where is the problem ? Code: #include … [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 2003