genode/repos/ports/src
Emery Hemingway 2b006dbaac Noux: no read/write on open directories
Directories may be opened, but they cannot be read from or written to.

Ref #2533
2018-02-15 10:22:09 +01:00
..
app Signature checking tool based on GnuPG 2018-02-09 13:34:13 +01:00
lib noux: handle short writes in the libc plugin 2018-02-14 20:41:05 +01:00
noux Noux: no read/write on open directories 2018-02-15 10:22:09 +01:00
noux-pkg bash: update to version 4.4.18 2018-02-14 20:41:09 +01:00
test Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
virtualbox vbox: support symlinks on host file system 2018-01-17 12:14:43 +01:00
virtualbox5 vbox5: update to 5.1.32 2018-02-14 20:41:06 +01:00