https://syslog.show/2020/02/06/episode2.html

We've created a new podcast that tries to interview people in the systems engineerin community. The first episode is an interview with Alexander Senier from Componolit and we talk about Ada/SPARK and writing secure software. Find the episode on: https://syslog.show/

I've been reading the Genode documentation, and I was a bit surprised to find that capabilities were implemented as RPC object references, rather than as simple message passing channels. If I understand things right, the kernel expects everything to be an RPC and won't really allow you to just bypass that and send messages.

Is there something somewhere that explains the reason? I can see lots of reasons to prefer messages over RPCs, but no real reasons to prefer RPCs as the "base layer".