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