L4Linux/options

From TUDOS-Wiki
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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