Difference between revisions of "L4Linux/options"

From TUDOS-Wiki
Jump to navigationJump to search
(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...)
 
 
Line 1: Line 1:
The following L4Linux specific options are available on the command line of L4Linux.
+
Some L4Linux specific options are available on the command line of L4Linux.
  
 
* l4fb driver
 
* 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)
 
** Screen updates, in ms (e.g. 40ms is 25fps)
 
  l4fb.refreshsleep=40
 
  l4fb.refreshsleep=40
 
This is only relevant if using framebuffer from Linux programs (e.g. X with fbdev driver)
 
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
 
* l4ser driver
** Enable input
+
** Add more devices:
  l4ser.vkey_enable=1
+
  l4ser.add=<name>
 
** To use the l4ser driver
 
** To use the l4ser driver
 
  console=ttyLv0
 
  console=ttyLv0

Latest revision as of 19:28, 10 November 2010

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