[Genode] why do I need to rebuild ports for different platforms? was: buid directory outside ...

[Paul Dufresne]

Ok, thanks, this clarify some misconceptions about the IPC I had.

I was finding a bit odd that there was no kind of Interruption, or
exact address to communicate for passing messages around.

I was thinking a bit like if all programs were sharing the same
address space (I must have been too much exposed to DOS) and that the
IPC was merely C++ calls.