DDEkit for Linux2.6 from svn

Björn Döbel doebel at os.inf.tu-dresden.de
Wed Oct 22 15:36:58 CEST 2008


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

> --- On Wed, Oct 22, 2008 at 1:08 PM, Christian Helmuth
> <christian.helmuth at genode-labs.com> wrote:
> | I do not understand why your Fiasco binary looks like that. Did you
> | modify the build?
> \--
> 
> I had mistakenly built fiasco-ux. I upgraded to qemu 0.9.1 and it
> stops at the overlapping region error. Now, I have changed the
> configuration in fiasco to build for Platform (PC platform). It builds
> a kernel.image (which should be renamed to fiasco?), and irq0. There
> is also a fiasco symbolic link file that points to main.

Just use the fiasco symlink for your boot image.

> Where is the kernel config file stored? I am using Fiasco 1.2, if that matters?

It's in the globalconfig.out file in your Fiasco build directory.

Cheers,
Bjoern
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFI/yx6P5ijxgQLUNkRArlTAKCUqzBNI4nXKtsmyEYGTL2MotPWggCeLMA6
h/wQffDBkbjX1WwAyv1GlQw=
=9+PY
-----END PGP SIGNATURE-----




More information about the l4-hackers mailing list