L4Linux/options

From TUDOS-Wiki
Revision as of 10:43, 5 November 2007 by Adam (talk | contribs) (New page: The following L4Linux specific options are available on the command line of L4Linux. * l4fb driver ** Position and size of the window (DOpE only), in pixels l4fb.xpos=123 l4fb.ypos=123 l...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

The following L4Linux specific options are available on the command line of L4Linux.

  • l4fb driver
    • Position and size of the window (DOpE only), in pixels
l4fb.xpos=123 l4fb.ypos=123 l4fb.xres=800 l4fb.yres=600
    • Screen updates, in ms (e.g. 40ms is 25fps)
l4fb.refreshsleep=40

This is only relevant if using framebuffer from Linux programs (e.g. X with fbdev driver)

    • Do not grab mouse in the window (DOpE only)
l4fb.nograb=1
  • l4ser driver
    • Enable input
l4ser.vkey_enable=1
    • To use the l4ser driver
console=ttyLv0
  • Show exceptions and page faults of the Linux server
showpfexc=1