.. |
spec
|
GDB monitor: nova_x86_64 platform support
|
2016-05-23 15:52:49 +02:00 |
gdbserver_libc_support.mk
|
GDB monitor: stability improvements
|
2016-05-23 15:52:49 +02:00 |
gdbserver_platform.inc
|
GDB monitor: x86_64 support
|
2016-05-23 15:52:49 +02:00 |
libc_noux.mk
|
libc_noux: remove dependency on 'platform_env.h'
|
2015-05-26 09:39:47 +02:00 |
seoul_libc_support.mk
|
libports: migrate to new ports mechanism
|
2014-05-27 11:14:42 +02:00 |
virtualbox-bios.mk
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
virtualbox-common.inc
|
vbox: 64-bit guest support
|
2015-11-29 18:17:06 +01:00 |
virtualbox-devices.mk
|
vbox: xHCI device model for USB pass-through
|
2016-02-05 10:47:44 +01:00 |
virtualbox-dis.mk
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
virtualbox-drivers.mk
|
vbox: enable preliminary audio support
|
2015-08-21 11:00:57 +02:00 |
virtualbox-liblzf.mk
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
virtualbox-main.mk
|
vbox: remove USB (OHCI) pass-through support
|
2016-02-05 10:47:44 +01:00 |
virtualbox-recompiler.mk
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |
virtualbox-runtime.mk
|
vbox: Provide implementation of RTErrCOMGet
|
2016-06-22 12:17:18 +02:00 |
virtualbox-storage.mk
|
vbox: update to virtualbox 4.3.16
|
2014-11-28 12:02:40 +01:00 |
virtualbox-vmm.mk
|
vbox: enable usb support for guests
|
2015-03-13 12:17:23 +01:00 |
virtualbox-xml.mk
|
vbox: update to virtualbox 4.3.16
|
2014-11-28 12:02:40 +01:00 |
virtualbox-zlib.mk
|
Move repositories to 'repos/' subdirectory
|
2014-05-14 16:08:00 +02:00 |