Re: How to create a working build environment

Håvard Ostnes <[email protected]> Wed, 1 Feb 2012 14:46:21 +0000 (UTC)
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Jan Stoess <jan.stoess <at> kit.edu> writes:

> 
> Hi Håvard Ostnes,
> 
> Is there any reason why you're trying 3.2? You'll most probably be easier off
using a recent compiler, it
> says 3.2 or higher. 4-versions generally work; I'm currently using 4.6 for
ia32 on Ubuntu oneiric. 
> 
> -Jan
> 
> --
> Dr. Jan Stoess, KIT System Architecture Group
> Phone: +49 (721) 6084 4056 Cell: +49 (1520) 160 1474
> 
> 

I discovered that the problems was related to Virtualbox, not GCC/G++.
I installed the current build-essential package onto my Debian Lenny box and the
kernel now runs smoothly.

For those interested, I have made a how-to on bulding L4 kernel and configuring
it to boot using GRUB2.

http://dl.dropbox.com/u/11080637/How%20To%20Build%20L4.pdf

thank you for your reply!

håvard