l4-hackers

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

2 participants
2880 discussions

Usermode Fiasco, X.2 spec
by Andreas Rottmann 23 Aug '02

23 Aug '02

Hi! <disclaimer>Yes, I know I might be annoing</disclaimer> August has come, and I once again ask for the status of the Fiasco usermode port, as I am eager to try it. Furthermore, I'd like to know if there is/will be any effort to implement the X.2 (upcoming version 4) L4 API building on the Fiasco codebase (that would be quite interesting, since the HURD L4 port will use the X.2/4 API). Regards, Andy -- Andreas Rottmann | Dru@ICQ | 118634484@ICQ | a.rottmann(a)gmx.at http://www.8ung.at/rotty | GnuPG Key: http://www.8ung.at/rotty/gpg.asc Fingerprint | DFB4 4EB4 78A4 5EEE 6219 F228 F92F CFC5 01FD 5B62

2 3

Hello, world!
by Nick Name 04 Jul '02

04 Jul '02

Hi all, just wanted to introduce myself: I am an italian computer science student, and a newcomer in the µkernels stuff ... so I am trying fiasco (by now, still trying to understand bochs, to be able to test it). One of my wish is to experiment with functional programming (with Haskell) and µkernels to see if a standalone system could be mainly functional. But... here comes my first wish: User-mode-fiasco ! Is it already useable? thanks, Vincenzo

1 0

user-level port
by Andreas Rottmann 27 Jun '02

27 Jun '02

Hi! I hope this is the right place to ask. (If not, please point me there ;-)) I have read on the Fiasco homepage that Fiasco is beeing/was ported to run as a user-level process under Unix. What is the state of this project? And what is the mentioned CVS branch? However, I am interested in this. A nice way to go would be to port Fiasco to a386 (http://a386.nocrew.org/), IMO. I don't know if I can be of any help, since I haven't (yet) done much kernel-level hacking... Regards, Andy -- Andreas Rottmann | Dru@ICQ | 118634484@ICQ | a.rottmann(a)gmx.at http://www.8ung.at/rotty | GnuPG Key: http://www.8ung.at/rotty/gpg.asc Fingerprint | DFB4 4EB4 78A4 5EEE 6219 F228 F92F CFC5 01FD 5B62

3 5

(no subject)
by Luís Alberto Lucas 14 Jun '02

14 Jun '02

Hello folks, First of all I'd like to thank you for such a development environment: linux over L4. After some time reading the faq and the mail list I could make it work. But now some questions: 1) Is X Window System still not running under l4linux ? I got: sys_iopl() called (8 times) "XF86_SVGA" (22.00) raised page fault (error =04) at 000000004 (vm_area can't grow down). 2) I'd like to run "kernel debugger" after l4linux boots (just for fun). Kernel debugger manual says that I could by pressing ESC but when I try, my system halts. 3) It seems that command "halt" doesn't work. It goes till "unmounting local file systems" and stops. "CTRL ALT DEL" still works. Thanks in advance. Luís Alberto Lucas lalucas(a)cefetpr.br

2 1

RE: L4 SCSI driver
by Volkmar Uhlig 11 Jun '02

11 Jun '02

> >>>>> On Mon, 10 Jun 2002 12:59:16 +0200, Uwe Dannowski > <Uwe.Dannowski(a)ira.uka.de> said: > UD> dmiller wrote: > >> does any version of L4 have an adaptec SCSI driver? > > UD> No version of L4 has any device drivers (except for maybe > an interrupt > UD> controller driver). > > This answer could be from a mathematician. 100% correct and 100% > useless. > > I guess Don's question could be rephrased as "has an adaptec SCSI > driver been ported to run on any version of L4". At UNSW we had a SCSI > driver running on L4/MIPS, what's the status of that? Btw, you should not forget that we also have a quite rich set of drivers running within a POSIX emulation layer -- L4Linux. Also 100% correct and I'm definitely no mathematician ;) - Volkmar

1 0

L4 SCSI driver
by dmiller 10 Jun '02

10 Jun '02

dear l4-hackers does any version of L4 have an adaptec SCSI driver? we are trying to add an adaptec 2940UW SCSI driver to the Sombrero Single Address Space OS I have taught L4 as the topic of my OS internals course (using the L4 version available from UNSW) - but can't find such a driver in that source thanks for any info you have on this don miller -- Donald S. Miller Associate Professor Computer Science and Engineering Department Arizona State University Tempe, AZ 85287-5406 email: donald.miller(a)asu.edu http://www.eas.asu.edu/~sasos phone: (480)-965-5935 Fax: 480/965-2751

3 2

DE use
by luke.hart＠sysmedia.com 02 May '02

02 May '02

All, The latest version of L4 (from CVS) and probably earlier ones, check for the debug extensions. Does it actually use them? I ask this since Bochs, does not set the DE bit in the CPUID or support these extensions. I have done a search for usage of DRx (where x is 0-7) in the source, but couldn't find any references. Is it safe to just remove the check for DE? Thanks for any info., Luke

3 2

RE: DE use
by Volkmar Uhlig 01 May '02

01 May '02

What kernel? Hazelnut or FIASCO? > -----Original Message----- > From: luke.hart(a)sysmedia.com [mailto:luke.hart@sysmedia.com] > Sent: Wednesday, May 01, 2002 1:42 AM > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: DE use > > > All, > > The latest version of L4 (from CVS) and probably earlier > ones, check for the > debug extensions. Does it actually use them? I ask this since > Bochs, does > not set the DE bit in the CPUID or support these extensions. > > I have done a search for usage of DRx (where x is 0-7) in the > source, but > couldn't find any references. Is it safe to just remove the > check for DE?

2 1

L4 SCSI driver
by dmiller 19 Apr '02

19 Apr '02

Gernot a quick question does any version of L4 have an adaptec SCSI driver? we are trying to add an adaptec 2940UW SCSI driver to Sombrero thanks for any info you have on this don -- Donald S. Miller Associate Professor Computer Science and Engineering Department Arizona State University Tempe, AZ 85287-5406 email: donald.miller(a)asu.edu http://www.eas.asu.edu/~sasos phone: (480)-965-5935 Fax: 480/965-2751 --

1 0

L4 for asm-free OS'es?
by William A. Gatliff 09 Apr '02

09 Apr '02

Guys: I'm an L4 newbie. I've booted it on my PC, I've read a lot of the online docs, and I've looked at some of the code. But I've been doing embedded systems for more than ten years now, so I know a thing or two about computers and operating systems. I'm interested in using L4 as a foundation for a new, yet-to-be-written Linux replacement intended primarily for use in embedded systems. My main motivations are for an OS that is portable, is understandable, has low interrupt latency, and has a small memory footprint. I'm thinking along the same lines as L4-Linux, but my OS would probably be written in C++ and make more use of L4 servers for hardware i/o. Here are my questions: One of the L4 manuals I've read says that when an OS running under L4 starts, it should take all free memory from sigma0 and then manage the pages itself. To me, this means that the OS has to know how to interact with the host CPU's MMU hardware, which is obviously hardware-dependent and therefore undesirable in a portable OS. It also appears to be redundant--- sigma0 already knows how to work the MMU. Performance issues aside, would letting sigma0 do page mapping and unmapping eliminate the need for an OS running under it to know how the MMU interface works, and thereby make the OS a little more portable? Is this a reasonable approach? What is the likelihood that an L4-based OS would need no assembly language at all, other than the syscall interface? I'm thinking along the lines of "to port this OS to your CPU, just port L4 and then recompile the OS sources." I'm eyeing ARM, MIPS, SH and x86 targets--- all of which I work with every day. I have single-board computers representing all four architectures in my lab here right now, and I'm doing something with all of them almost all the time. That's why portability is important to me. My customers think Linux is great because it's more portable than the alternatives, but I think it isn't nearly portable enough. And it scores low marks for understandability, interrupt latency and footprint. Oh, and debuggability---I love your "KD:" prompt! :^) Thanks! b.g. -- Bill Gatliff bgat(a)billgatliff.com

5 6

Jump to page:

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