L4Linux/options: Difference between revisions
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... |
No edit summary |
||
| Line 1: | Line 1: | ||
Some L4Linux specific options are available on the command line of L4Linux. | |||
* l4fb driver | * l4fb driver | ||
** 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) | ||
* l4ser driver | * l4ser driver | ||
** | ** Add more devices: | ||
l4ser. | l4ser.add=<name> | ||
** To use the l4ser driver | ** To use the l4ser driver | ||
console=ttyLv0 | console=ttyLv0 | ||
Latest revision as of 18: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
