genode/repos/ports/src
Norman Feske ae3664f4a0 noux: include noux.mk via select_from_repositories
This enables noux packages to be built via the depot tools.
2017-05-31 13:16:14 +02:00
..
app Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
lib noux: avoid using deprecated APIs 2017-05-31 13:16:14 +02:00
noux Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
noux-pkg noux: include noux.mk via select_from_repositories 2017-05-31 13:16:14 +02:00
test ldso: defer execution of static constructors 2017-03-24 16:20:04 +01:00
virtualbox Streamline exception types 2017-05-31 13:16:07 +02:00
virtualbox5 vbox5: allocate memory in larger pieces 2017-05-31 13:16:11 +02:00