L4Linux/options

From TUDOS-Wiki
Revision as of 18:28, 10 November 2010 by Adam (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Some L4Linux specific options are available on the command line of L4Linux.

  • l4fb driver
    • 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)

  • l4ser driver
    • Add more devices:
l4ser.add=<name>
    • To use the l4ser driver
console=ttyLv0
  • Show exceptions and page faults of the Linux server
showpfexc=1