l4-hackers October 2001

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

5 participants
11 discussions

Re: vk_l4 -- CVS Setup
by Lars Reuther 30 Oct '01

30 Oct '01

Farid Hajji <farid.hajji(a)ob.kamp.net> writes: > BTW, is anyone in the L4 community currently implementing a pager task > that would resemble Mach-VM or, even better, UVM? This is of general > interest to all developers of L4-based OS-personalities, not just > l4-hurd. Getting all the memory from sigma0 upon startup is not very sexy ;-). The current VM management model of L4Env is roughly based on the ideas described in <ftp://ftp.cse.unsw.edu.au/pub/users/disy/papers/… [View More]

1 0

Old and new L4 APIs (was Re: L4Hurd at Sourceforge)
by Michael Hohmuth 30 Oct '01

30 Oct '01

Farid Hajji <farid.hajji(a)ob.kamp.net> writes: > If the L4 people could provide us with a coherent view of the current > (and upcoming) APIs and C-Bindings, that would be _great_! (hint, hint!) The most coherent view on current APIs is available at <URL:http://os.inf.tu-dresden.de/L4/bib.html>. The L4 people in charge of the new L4 API (the Karlsruhe guys) have decided to circulate the upcoming specification in a limited way first to keep discussion short and efficient. … [View More]

2 1

Re: vk_l4 -- CVS Setup
by Farid Hajji 30 Oct '01

30 Oct '01

> At Thu, 25 Oct 2001 12:01:56 +0200, > Christian Ceelen wrote: > > Where could I find these research papers? > > http://www.netbsd.org/Documentation/kernel/uvm.html > http://www.usenix.org/events/usenix99/full_papers/cranor/cranor_html/ > http://www.ccrc.wustl.edu/pub/chuck/psgz/diss.ps.gz > http://www.ccrc.wustl.edu/pub/chuck/psgz/osdi99.ps.gz > http://www.ccrc.wustl.edu/pub/chuck/psgz/disstalk.ps.gz > > Okuji BTW, is anyone in the L4 community … [View More]

1 0

L4 device-driver framework (was Re: vk_l4 -- CVS Setup)
by Michael Hohmuth 29 Oct '01

29 Oct '01

Farid Hajji <farid.hajji(a)ob.kamp.net> writes in l4-hurd: > [...] We'll probably also need glue code from OSKit to drop in the > driver framework from Michael. To clarify: There are two L4 device-driver frameworks that are currently in use, neither of which is ``Michael's framework.'' - One is a port of the OSKit to L4. It allows running OSKit applications on top of L4 in user mode, including applications that use OSKit's device drivers (which are mostly inherited from … [View More]

1 0

Is this list active?
by Ian Duggan 23 Oct '01

23 Oct '01

Is this list still active? Are there other L4 lists that I should be on as well? -- Ian ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ian Duggan ian(a)ianduggan.net http://www.ianduggan.net

2 1

Re: Writing device drivers for L4 (was Re: Hurd/Mach on L4)
by Michael Hohmuth 14 Oct '01

14 Oct '01

Farid Hajji <farid.hajji(a)ob.kamp.net> writes: > > Currently, some of my colleagues are working on a framework that > > allows you to (more or less) drop a Linux driver in a preconfigured > > source tree and get a working driver that runs on the x86 L4 kernels > > (L4/x86, Fiasco, L4KA). This framework, which will work with the > > L4Env environment we're developing, is not quite ready yet, but it > > might be worth the wait. > > Will the … [View More]

1 0

Writing device drivers for L4 (was Re: Hurd/Mach on L4)
by Michael Hohmuth 12 Oct '01

12 Oct '01

Farid Hajji <farid.hajji(a)ob.kamp.net> writes in l4-hurd: [...] > The second pressing point is to write/port a very small subset of device > drivers to L4. We need a native L4 driver for ATAPI (or SCSI?) disks, > so that the pager can use a real disk as backing store, and so that > we can port a filesystem as well ;). Here too, no-one volunteered yet. We in Dresden have extensive experience in porting Linux device drivers to run directly on top of L4, so if you guys have … [View More]

2 1

Re: Cross Compile Needed?
by Michael Hohmuth 11 Oct '01

11 Oct '01

Ian Duggan <ian(a)ianduggan.net> writes: > I'm working to try to build the fiasco kernel for a pentium machine that > I have. I'm working from a Debian PIII. Will I need to build a > cross-compiler to produce code for the pentium machine? No, you can use your Linux installation's native compiler. > Working from the fiasco CVS, I can see how to invoke the --host options > for "configure" of oskit and oskit10. Is there anything similar for > doing this with the L4 … [View More]

1 0

Re: Code Repository
by Michael Hohmuth 11 Oct '01

11 Oct '01

Ian Duggan <ian(a)ianduggan.net> writes: > Who is the maintainer for the current L4/Fiasco CVS? If I have patches > to add to L4/Fiasco, to whom do I send them? The best place to send them to is the Dresden's bug-tracking system at <fiasco-bugs(a)os.inf.tu-dresden.de> (don't be fooled by the name -- use this address for L4- and Fiasco-specific changes alike). If your patches are Fiasco-specific, you can also send them for review directly to <fiasco-core(a)os.inf.tu-… [View More]

1 0

Code Repository
by Ian Duggan 11 Oct '01

11 Oct '01

Who is the maintainer for the current L4/Fiasco CVS? If I have patches to add to L4/Fiasco, to whom do I send them? -- Ian ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ian Duggan ian(a)ianduggan.net http://www.ianduggan.net

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 October 2001