user-level port

Michael Hohmuth hohmuth at
Wed Jun 26 11:44:15 CEST 2002

[ Re-sending with Cc to list ]

Andreas Rottmann <a.rottmann at> writes:

> Can you also tell me how to check it out? I tried in various ways:

Yes, the sources are neither polished nor release-ready, and maybe it
does not even compile except in Udo's home directory...


  cvs co l4; cd l4/kernel/fiasco/src; cvs up -r fiasco_ux

However, I believe that Udo has not yet checked in his modifications
for Sigma0 and Rmgr.

hohmuth at, hohmuth at

More information about the l4-hackers mailing list