mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 01:30:41 +00:00
309bc2083e
Make sure timers run at the same priority as component threads, otherwise no timer progress can be made. See 'rtTimeNanoTSInternalRef' (timesupref.h) and 'rtTimerLRThread' (timerlr-generic.cpp).
VirtualBox configuration options ################################ The configuration requires an attribute named vbox_file with the name of the vbox configuration to be used (.vbox). <config vbox_file="file.vbox"> XHCI controller =============== The virtual XHCI controller can be enabled with the following configuration option: <config xhci="yes"> CAPSLOCK ======== <config capslock="ROM"> If the capslock attribute is set to "ROM", virtualbox will open a connection to the ROM named "capslock" and expect in the top-level node a attribute 'enabled' (yes|no). If the ROM capslock differ from the internal VM capslock, the VMM will trigger aritifical capslock key events to the VM.