l4-hackers August 1999

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

12 participants
19 discussions

Chief number in TID's
by Adam 'WeirdArms' Wiggins 02 Sep '99

02 Sep '99

Does anyone have a 'good' reason for the chief number to be an a TID for the use of users (nothing to do with kernel internals and implimentation). Removing the chief from the TID allows 32bit TID's with a 'reasonable' number of tasks and threads per task. :) Cheers Adam

2 1

Re: Compiling Fiasco (PR#39)
by Michael Hohmuth 31 Aug '99

31 Aug '99

(I've put your bug report into our bugs database so that I won't forget about it.) David Waite <mass(a)ufl.edu> writes: > I have been having problems compiling Fiasco from the CVS drop I got about > four days ago. The OSKit seems to be having problems with both the 'depend' > files (they are actually getting some ELF binary tacked on to the end, > although I haven't investigated why yet). Also, the gcc v2.95 has a problem > with the assembly (reports invalid register use … [View More]

1 0

RE: Compiling Fiasco
by David Waite 28 Aug '99

28 Aug '99

I have been having problems compiling Fiasco from the CVS drop I got about four days ago. The OSKit seems to be having problems with both the 'depend' files (they are actually getting some ELF binary tacked on to the end, although I haven't investigated why yet). Also, the gcc v2.95 has a problem with the assembly (reports invalid register use in the what looked to be linux scsi controller drivers) I tried to upgrade to the newest OSKit I could find, but that didn't work out either, because of … [View More]

1 0

MIPS
by Gottfried F. Zojer 28 Aug '99

28 Aug '99

Hi, I m sending this posting to find out how many are using Fiasco/L4 on Mips-Processors. And I hope that there is coming in some response. Sincerely Gottfried F. Zojer

2 1

Re: NT like OS's
by Tom Linden 27 Aug '99

27 Aug '99

Are you sure you want to do this? What about all the dll's? I think it advisable to set down goals and functioanl specs before embarking on such an adventure. I also think that you should look at all the opportunities including L4-Linux from Dresden. <l3-hackers(a)os.inf.tu-dresden.de> I also have a mature, fault-tolerant operating system, originally written for IBM mainframe, which is quite portable. Hadn't planned on porting it to alpha, but it is a possibility, particularly … [View More]

1 0

Re: L4-Linux on 486
by Michael Hohmuth 27 Aug '99

27 Aug '99

I wrote: > edmundo(a)rano.demon.co.uk writes: > > > (1) The Fiasco assertion about stack space (thread.cc:316) has failed > > several times. > > I can reproduce this: Under heavy interrupt load, a thread's kernel > stack can overflow on slow machines. I'm still thinking about what > the best way is to correct the problem. I think I found a solution to this problem. I've checked it in. Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: L4-Linux on 486
by Michael Hohmuth 26 Aug '99

26 Aug '99

edmundo(a)rano.demon.co.uk writes: > (1) The Fiasco assertion about stack space (thread.cc:316) has failed > several times. I can reproduce this: Under heavy interrupt load, a thread's kernel stack can overflow on slow machines. I'm still thinking about what the best way is to correct the problem. > (2) Frequently cc1 segfaults when compiling a large file. Annoyingly, > it hasn't done it since I built one with debugging symbols. Maybe this is a symptom of an undetected kernel-… [View More]

1 0

Re: Porting Hurd to l4
by Michael Hohmuth 25 Aug '99

25 Aug '99

Matthew Vernon <matthew(a)debian.org> writes: > Is the l4 server interface descripted somewhere (as in, I need a > little more help getting started than just RTFsource :) )? I guess you mean the L4-kernel interface to be used by servers, don't you? This interface is documented in manpages at <URL:http://os.inf.tu-dresden.de/L4/l4man.html> (this is for Fiasco and L4/x86; the L4/MIPS website has manpages for the MIPS version). The L4 Reference Manual is the defining document … [View More]

1 0

Porting Hurd to l4
by Matthew Vernon 24 Aug '99

24 Aug '99

Hi, Is the l4 server interface descripted somewhere (as in, I need a little more help getting started than just RTFsource :) )? I'm beginning to think the effort involved in porting the HURD servers to Mach may be worthwhile in the long run. ObHurd - what do any Hurd people here think? Matthew

4 3

L4-Linux on 486
by edmundo＠rano.demon.co.uk 23 Aug '99

23 Aug '99

Michael's patch from 1999-08-18 seems to have solved the IRQ problem I was suffering from previously. I can now do lots of heavy NFS with no problems at all. But I now have different problems, of course ... Unfortunately the latest symptoms are very vague and various. I've had spontaneous reboots, I've had the machine just stop, uninterruptible by GDB, I've had various assertions fail in Fiasco, I've had an assertion fail in Linux ("reply_and_wait error", l4_idle.S:564). Some of the failed … [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 August 1999