DDEkit for Linux2.6 from svn
doebel at os.inf.tu-dresden.de
Wed Oct 22 15:36:58 CEST 2008
-----BEGIN PGP SIGNED MESSAGE-----
> --- 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.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the l4-hackers