The only snag that I hit that I was not sure about was when compiling oskit10, the file oskit10/freebsd/src/lib/libc/i386/gen/alloca.S did not want to compile. There was, however, a comment in oskit mailing list suggesting that a fix ("jmp %edx " changes to "jmp *%edx"). I've appended a script at the end of this mail that make the other small changes that I needed to build.
As disscussed in previous mails (of yesterday and so) of l4-hackers, the oskit10 may not play essential works in current Fiasco/RMGR/sigma0. Have you compiled oskit (not oskit10) tree without error in RHL 6.2? I'm afraid that gcc & binutils in RHL 6.2 is too newer than expected versions of oskit.
Now that it is built, it crashes at boot time:
RMGR: loading (hd1,1)/fiasco/sigma0 RMGR: detected new-style DD-L4 RMGR: starting (hd1,1)/fiasco/main -nokdb proto=0x10128c
Welcome to Fiasco! DD-L4/x86 microkernel (c) 1998 TU Dresden - Jul 13 2000 KDB: init L4KD -BP----------------------------------------------EIP: f00011c9
(hang)
Any further suggestions?
Please publish your procedure-entries given to GRUB. I've ever experienced similar "hanging" when I gave wrong options to the modules.
suzuki