genode/repos/ports/lib/mk/spec/x86_64
2021-10-13 14:01:02 +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: enable audio via OSS plugin 2021-10-13 14:01:02 +02:00
virtualbox6-dis.mk Port of VirtualBox 6.1.14 2021-02-25 11:22:59 +01: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