app
|
Move timer from os to base repository
|
2019-01-14 12:33:57 +01:00 |
lib
|
Port of getdns and Stubby DNS resolver
|
2018-05-03 15:31:58 +02:00 |
noux
|
noux: enable strict warnings
|
2019-01-30 13:35:29 +01:00 |
noux-pkg
|
Genode toolchain depot package
|
2018-11-27 11:38:13 +01:00 |
test
|
nova: provide microcode data via platform_info
|
2018-08-28 16:46:05 +02:00 |
virtualbox
|
Merge pthread into libc library
|
2018-11-29 11:46:01 +01:00 |
virtualbox5
|
Merge pthread into libc library
|
2018-11-29 11:46:01 +01:00 |