genode/ports/src
Josef Söntgen 83dd1640fc Noux: fix SYSCALL_READ return value
There is an error if reading from a Io_channel returns -1. In this
case the syscall should fail.

Fixes #356.
2012-09-14 12:24:13 +02:00
..
app Extend Cpu_session with thread-affinity API 2012-09-05 10:25:04 +02:00
lib Noux: return dummy time in 'gettimeofday()' 2012-09-14 12:21:54 +02:00
noux Noux: fix SYSCALL_READ return value 2012-09-14 12:24:13 +02:00
noux-pkg Noux: add noux-pkg/lynx 2012-08-22 09:51:29 +02:00
test libc_noux test 2012-08-09 11:09:43 +02:00
vancouver NOVA: setup all exception handlers of a thread 2012-08-30 10:42:38 +02:00