Additionally to the 'official' kernel-parameters, L4Linux understands the
following:

l4_irq_mask=<num>
This parameter sets a mask which is used when allocating interrupts, either
from rmgr directly or by the Omega0-protocol. You should use this parameter
to avoid races on system start if other components need unshared interrupts.

l4_irq_prio_max=<num>
<nr> is the number of the hardware interrupt which has the highest priority at
the interrupt controller. The L4Linux thread priorities has to consider the
interrupt hardware priorites to ensure that the current L4Linux synchronization
sheme (using thread priorities) does work. This command line switch even allows
to override the decision met at compile time ("IRQ0 has highest priority"
config switch). The default value is 8 which fits for most L4 implemenations.

-vesa
This parameter allows L4Linux to direct access the linear VESA framebuffer
if an appropriate VESA mode is configured at startup. The information about
the screen resolution and the address of the framebuffer is gathered from
the extended multiboot info structure (which has to be provided by the boot
loader -- usually GRUB).
