"MV" == Matthew Vernon matthew@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@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@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