[1] https://docs.sel4.systems/ApiDoc.html [2] http://www.qnx.com/developers/docs/6.4.1/neutrino/getting_st...