ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7b197d54ed
genode/repos/ports/lib/mk/spec/x86_64
History
Christian Prochaska 7b197d54ed tool chain: update gdb to version 10.2 
Issue #4094
2021-05-28 14:16:44 +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: refactor vcpu implementation 2021-04-20 12:03: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