genode/repos/ports/lib/mk/spec/x86_64
Christian Helmuth 46ee872b50 vbox6: shared clipboard service
The service is loaded dynamically VBoxSharedClipboard.so at runtime. The
VFS configuration mounts the shared object at /VBoxSharedClipboard.so as
the file is checked by contrib code before loading. An init
configuration in pkg/vbox6/runtime illustrates this and how to re-label
the VBoxSharedClipboard.so ROM to its real name
virtualbox6-sharedclipboard.lib.so.
2021-10-13 14:50:45 +02:00
..
gdbserver_platform-nova.mk tool_chain: update GDB to version 8.2.1 2019-05-27 14:52:51 +02:00
gdbserver_platform-x86_64.inc tool chain: update gdb to version 10.2 2021-05-28 14:16:44 +02:00
virtualbox6-devices.mk vbox6: shared clipboard service 2021-10-13 14:50:45 +02:00
virtualbox6-dis.mk vbox6: shared clipboard service 2021-10-13 14:50:45 +02:00
virtualbox6-sup.mk vbox6: refactor vcpu implementation 2021-04-20 12:03:02 +02:00
virtualbox6-vmm.mk Port of VirtualBox 6.1.14 2021-02-25 11:22:59 +01:00