genode/repos/base-hw/src/base/ipc
Stefan Kalkowski e081554731 hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00
..
ipc.cc hw: kernel backed capabilities (Fix #1443) 2015-05-26 09:40:04 +02:00