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/