On Wed Apr 13, 2005 at 16:54:49 +0900, ������ wrote: > I tested a sample binary that is hello_cxx where in /l4/bin/x86_585 directory. > My grub menu(menu.lst) contains: > title Test_fiasco_kernel > kernel /boot/fiasco/rmgr -sigma0 > modadder 0x02000000 > module /boot/fiasco/main -noserial -nowait -nokdb > module /boot/fiasco/sigma0 > module /boot/fiasco/hello_cxx > > following, boot error messages: > *hello : [5.0] l4rm/lib/src/config.c : 104 : l4rm_get_dsm(); > *hello : l4RM:no dataspace manager found!!
Try this: title Test_fiasco_kernel kernel /boot/fiasco/rmgr -sigma0 modadder 0x02000000 module /boot/fiasco/main -noserial -nowait -nokdb module /boot/fiasco/sigma0 module /boot/fiasco/names module /boot/fiasco/log module /boot/fiasco/dm_phys module /boot/fiasco/hello_cxx Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
