Another question: I think oskit10 is required now to compile the pkg package, but some subdirectories also use oskit/flux/c/*.h include files. Do I really need both oskit versions or should the makefiles be modified to use oskit10/oskit/c/*.h?
I remember, you've ever asked about it on Oct/1999. Unfortunately, I could not find the correct answer from l4-hackers mailinglist. Have you received any replies about it?
I think, still current Fiasco source tree is designed for "oskit" (not "oskit10"). We need oskit10 source tree to complete building l4/oskit10_support/ tree, but Fiasco/RMGR/sigma0/hello and L4-Linux do not use oskit10.
I've ever tried to rewrite l4/ tree for oskit10 (without oskit), but I couldn't make working kernel & modules. If interested, please check: 19991221075909.11104.qmail@file.phys.tohoku.ac.jp
suzuki