genode/repos/base-okl4/src
Alexander Boettcher 50d6d2e922 okl4: fix return value if IPC failed
Otherwise RPC calls to dead/invalid destinations are rated as successful,
which leads to wrong execution paths later on. Triggered by bomb.run where
rm_session.attach() returned as successful with local address set to 0, which
causes un-handled page-faults later on.

Fixes #1480
2015-05-06 10:55:16 +02:00
..
base okl4: fix return value if IPC failed 2015-05-06 10:55:16 +02:00
core CPU session: apply quota via relative weightings 2015-05-06 10:55:16 +02:00
kernel base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
test Remove output-section fill from linker scripts 2015-01-20 11:25:59 +01:00