DDEkit for Linux2.6 from svn

Christian Helmuth christian.helmuth at genode-labs.com
Wed Oct 22 15:37:31 CEST 2008


On Wed, Oct 22, 2008 at 06:54:06PM +0530, Shakthi Kannan wrote:
> 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.

You should boot the binary "main", hence the loink named fiasco.

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

The configuration is stored in the build directory in a file named

Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

More information about the l4-hackers mailing list