Porting Hurd to l4

[Gernot Heiser]

>>>>> "MV" == Matthew Vernon <matthew at debian.org> writes:

MV> Hi,
MV> 	Is the l4 server interface descripted somewhere (as in, I need a
MV> little more help getting started than just RTFsource :) )? I'm beginning
MV> to think the effort involved in porting the HURD servers to Mach may be
MV> worthwhile in the long run.

Porting to Mach would mean that you get more of an environment than you
(presently) get with L4 (although that's changing). Also Mach presently
runs on more platforms, L4 presently runs on ix86, Alpha and MIPS, with
a StrongARM kernel in the works. (I'd be keen to see it happening on
SPARCs and PowerPC, if I had a good student who's interested...)

Advantage of L4 is SPEED. More than an order of magnitude on basic
syscalls (see Liedtke's paper in the 1995 SOSP).

>>>>> "AW" == Adam 'WeirdArms' Wiggins <awiggins at cse.unsw.edu.au> writes:

AW> 	Look at http://www.cse.unsw.edu.au/~disz follow the L4 link and
AW> then the L4 Users manual should help.

Adam gave the wrong URL. Try: http://www.cse.unsw.edu.au/~disy/

AW> 	Ive asked RMS about such a port, currently they have no staff
AW> working on HURD and are looking for someone to take it up. A group of us
AW> may consider porting HURD to L4 during the Australian summer
AW> (dec-jan-feb).
	
"A group of us" out of Adam's mouth usually means "Adam" ;-)

That's probably on top of finishing L4/StrongARM, his palmtop, port
Linux etc...

Gernot (the guy who's trying to keep Adam focussed)




--
Gernot Heiser                ,--_|\   School of Computer Sci. & Engin.
Phone:  +61 2 9385 5156     /      \  The University of NSW
Fax:    +61 2 9385 5995     \_,--._*  Sydney, Australia 2052
E-mail: G.Heiser at unsw.edu.au      v   http://www.cse.unsw.edu.au/~gernot
PGP	fingerprint: 94 1E B8 28 25 FD 7C 94  20 10 92 E5 0B FF 39 8F