Since you're looking at "everything is a message", consider how microkernels like sel4[1] and QNX[2] do system calls as message passing. [1] https://docs.sel4.

Since you're looking at "everything is a message", consider how microkernels like sel4[1] and QNX[2] do system calls as message passing. [1] https://docs.sel4.systems/ApiDoc.html https://docs.sel4.systems/ApiDoc.html [2] http://www.qnx.com/developers/docs/6.4.1/neutrino/getting_started/s1_msg.html http://www.qnx.com/developers/docs/6.4.1/neutrino/getting_st...