DDEkit for Linux2.6 from svn
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
http://www.genode-labs.com/ · http://genode.org/
More information about the l4-hackers