[jdmarble]

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 [2] http://www.qnx.com/developers/docs/6.4.1/neutrino/getting_st...