boot : C++ App on fiasco kernel.
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Wed Apr 13 15:28:59 CEST 2005
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 adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list