L4Linux/options

From TUDOS-Wiki
Jump to: navigation, 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