[ Re-sending with Cc to list ]
Andreas Rottmann a.rottmann@gmx.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...
Try:
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.
Cheers, Michael