large memory model kernel

Adam Lackorzynski adam at
Mon Feb 12 20:10:16 CET 2007


On Fri Feb 09, 2007 at 14:14:41 -0800, David Shifflett wrote:
> I am looking for a development and run-time environment
> for an experimental kernel.
> I want to run large memory model
> (multiple code and data segments).
> Can L4 / Fiasco support a segmented architecture?
> Can it support large memory model code?

I'm not really sure I understand you. We use a flat model. Fiasco
has a few segment features but that's probably not what you are looking

> What file formats (ELF, COFF, LE/LX) does it support?

Any you implement. The kernel starts two servers that are ELF, from then
on it's up to you to implement anything you want. We also use ELF
further on. Of course you can hack the loaders to start whatever format
you like.

> What compiler/linker might work? (I am looking at Open WATCOM)

We use gcc, binutils etc. I don't know if anyone has ever tried another
tool chain.

Adam                 adam at

More information about the l4-hackers mailing list