mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-04 18:22:08 +00:00
331844c979
In ROM mode the global CapsLock state is controlled by the capslock ROM by virtual KEY_CAPSLOCK events. Guests are easily confused by spurious KEY_CAPSLOCK input events in caps="rom" mode. These spurious events may reach the VMM if KEY_CAPSLOCK is not pressed as first key in a combination and, therefore, is not filtered as global key. We filter KEY_CAPSLOCK in ROM mode in the VMM explicitly, but let it pass in non-ROM mode. Per default RAW mode is used and CapsLock key events are sent unfiltered to the guest.
94 lines
2.9 KiB
Plaintext
Executable File
94 lines
2.9 KiB
Plaintext
Executable File
<runtime ram="4300M" caps="2500" binary="init">
|
|
|
|
<requires>
|
|
<file_system label="vm"/>
|
|
<file_system label="shared"/>
|
|
<vm/>
|
|
<timer/>
|
|
<gui/>
|
|
<nic/>
|
|
<rom label="capslock"/>
|
|
<rom label="platform_info"/>
|
|
<report label="shape"/>
|
|
<report label="clipboard"/>
|
|
<rom label="clipboard"/>
|
|
<rm/>
|
|
<rtc/>
|
|
<rom label="usb_devices"/>
|
|
<usb/>
|
|
</requires>
|
|
|
|
<config verbose="yes">
|
|
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="VM"/>
|
|
<service name="Gui"/>
|
|
<service name="Timer"/>
|
|
<service name="Rtc"/>
|
|
<service name="Report"/>
|
|
<service name="File_system"/>
|
|
<service name="Usb"/>
|
|
<service name="Nic"/>
|
|
</parent-provides>
|
|
|
|
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
|
|
|
|
<default caps="100"/>
|
|
|
|
<start name="vbox" caps="2000">
|
|
<binary name="virtualbox6" />
|
|
<resource name="RAM" quantum="8G"/>
|
|
<exit propagate="yes"/>
|
|
<config vbox_file="machine.vbox" xhci="yes" vm_name="linux" capslock="rom">
|
|
<vfs>
|
|
<dir name="dev">
|
|
<log/> <rtc/> <null/> <zero/>
|
|
</dir>
|
|
<dir name="pipe"> <pipe/> </dir>
|
|
<dir name="shared"> <fs label="shared" writeable="yes"/> </dir>
|
|
<fs writeable="yes"/>
|
|
</vfs>
|
|
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
|
|
<pthread placement="single-cpu"/>
|
|
</libc>
|
|
<arg value="virtualbox"/>
|
|
<env key="VBOX_USER_HOME" value="/"/>
|
|
</config>
|
|
<route>
|
|
<service name="Audio_out"> <parent/> </service>
|
|
<service name="File_system" label="shared"> <parent label="shared"/> </service>
|
|
<service name="File_system"> <parent label="vm"/> </service>
|
|
<service name="ROM" label="usb_devices"> <parent label="usb_devices"/> </service>
|
|
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
|
|
<service name="ROM" label="platform_info"> <parent label="platform_info"/> </service>
|
|
<service name="Nic"> <parent/> </service>
|
|
<service name="Report" label="shape"> <parent label="shape"/> </service>
|
|
<service name="ROM" label="clipboard"> <parent label="clipboard"/> </service>
|
|
<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
|
|
<service name="Gui"> <parent label=""/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
</config>
|
|
|
|
<content>
|
|
<rom label="ld.lib.so"/>
|
|
<rom label="init"/>
|
|
<rom label="virtualbox6"/>
|
|
<rom label="libc.lib.so"/>
|
|
<rom label="libiconv.lib.so"/>
|
|
<rom label="libm.lib.so"/>
|
|
<rom label="qemu-usb.lib.so"/>
|
|
<rom label="stdcxx.lib.so"/>
|
|
<rom label="vfs.lib.so"/>
|
|
<rom label="vfs_pipe.lib.so"/>
|
|
<rom label="jpeg.lib.so"/>
|
|
</content>
|
|
|
|
</runtime>
|