Re: Device Driver Reuse

Roberto Jung Drebes <[email protected]> Sun, 25 Oct 2009 19:06:12 +0900
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hello Jan,

Thanks for your reply.

I've tried building it, but I get a

cc1: error: -mpreferred-stack-boundary=2 is not between 4 and 12

error when trying to build dietlibc. Is this error from trying to  
compile it with gcc 4?

My system doesn't have gcc 3 by default, so the first make command  
says that gcc 3 will be build. But when inspecting the generated  
config.out with menuconfig, the build gcc option is still disabled.  
Even after manually enabling it, I still get the same error.

Actually, I could manage to install gcc-3.4.6 from my distribution,  
but g++ is unavailable (Ubuntu 9.4).

Is there any other tip to getting it to build?

Regards,

Roberto.


On 23/10/2009, at 20:26, Jan Stoess wrote:

> Hi Roberto,
>
> Yes there are still people (me) working on the afterburner. Mostly  
> internal prototyping though, far less attention is spent to the  
> external project pages.
>
> Here's a quick suggestion on getting UP afterburner/pre- 
> virtualization to work (I've sent that to l4ka a while ago):
>
> - Download the afterburner via mercurial
> - No need to download pistachio or IDL tools etc., the afterburner  
> make script will download it
> - check out and inspect the sample config.out files in afterburner/ 
> configs, e.g.,
>  - choose sample-config.out if you'd like to have para-virtualized  
> linux guests
>  - choose sample-config-hvm.out if you'd like fully-virtualized  
> guests (WARNING: WORK IN PROGRESS). Works only with Intel VMX
> - create a build directory, run "make -f path/to/afterburner/ 
> Makefile", copy your favorite sample config into "build/config.out",  
> run "make menuconfig" to edit the settings, finally run "make  
> world", which will produce binaries in "build/boot"
> - make "run-qemu" runs the afterburner in qemu
>
> Just a quick tip: use gcc and g++ Versions 3, e.g. by running make  
> CC=gcc3 CXX=g++3, or by putting "CC=gcc3" and "CXX=g++3" into the  
> local build Makefile.
>
> -Jan


-- 
Roberto Jung Drebes - Tokyo, Japan
<[email protected]>
http://japao.drebes.org/