genode/repos/ports/lib/mk
Norman Feske fcb21732e0 Move drivers/input/spec/ps2 to drivers/ps2
This simplifies the directory structure.

Issue #2190
2020-08-25 11:50:09 +02:00
..
spec vbox5: use vm_session interface 2019-05-29 10:20:52 +02:00
gdbserver_libc_support.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
gdbserver_platform.inc tool_chain: update GDB to version 8.2.1 2019-05-27 14:52:51 +02:00
gdbserver_platform.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
seoul_libc_support.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-apiwrap.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-bios.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-common.inc Remove virtualbox 4 vmm 2019-02-19 11:08:17 +01:00
virtualbox5-debug.inc vbox5: disable assertions in recipe vbox5-nova 2018-09-20 09:07:31 +02:00
virtualbox5-devices.mk virtualbox: fix compiler error with newer iasl versions 2019-03-18 15:56:23 +01:00
virtualbox5-dis.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-drivers.mk Remove residual uses of deprecated APIs 2019-02-19 11:12:12 +01:00
virtualbox5-liblzf.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-main.mk Move drivers/input/spec/ps2 to drivers/ps2 2020-08-25 11:50:09 +02:00
virtualbox5-recompiler.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-runtime.mk vbox: add 'RTMemDupExTag()' implementation 2019-08-21 12:37:00 +02:00
virtualbox5-storage.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-vmm.mk Vbox: compile VMM/VMMR3/VMReq permissive 2019-05-16 13:11:00 +02:00
virtualbox5-xml.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5-zlib.mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox5.mk vbox5: use vm_session interface 2019-05-29 10:20:52 +02:00