large memory model kernel

[David Shifflett]

Hi,
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?
What file formats (ELF, COFF, LE/LX) does it support?
What compiler/linker might work? (I am looking at Open WATCOM)

Thanks in advance,
dave