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