Building and Using the Fiasco µ-Kernel, new user

Adam Lackorzynski adam at
Fri Oct 22 19:51:33 CEST 2004


On Fri Oct 22, 2004 at 13:41:35 -0400, Julian Grizzard wrote:
> First, I could not get the "make config" to work on my gentoo system
> (gcc 3.3.4, make 3.80).  This is what happened:
> $ make config
> make -C ./tool/config
> make: *** C-Compiler needs target arch. Maybe you mean HOST_CC.  Stop.
> $
> Not sure what the problem is.  I noticed the message appears to be the
> contents of the ${CC_} variable in l4/mk/Makeconf.  My work around was
> to compile on a redhat 8.0 box.

By any chance, is the SYSTEM environment variable set on the gentoo

> Second, I had this problem when I booted the system:
>     --init--------------------------------------EIP: f0010a0f
> jdb:
> Here is the grub configuration I used on the floppy (from
> # this is /floppy/boot/grub/menu.lst
> title hello world
> kernel (fd0)/rmgr -sigma0
> module (fd0)/main -nokdb
> module (fd0)/sigma0
> module (fd0)/hello
> After digging around, I decided to change the thid line from
> "module (fd0)/main -nokdb" to "module (fd0)/main -nokdb -nowait".  Is
> this correct?  It seems to be working.

Yes, if you enter the jdb-prompt, use "g" for go to go on. It's nothing
wrong if you enter it on startup, and -nowait is the right thing if you
don't want that.

Adam                 adam at

More information about the l4-hackers mailing list