Da-Wei Chang Ruei-Chuan Chang OS Portal: an economic approach for making an embedded kernel extensible. 19-30 2003 67 Journal of Systems and Software 1 http://dx.doi.org/10.1016/S0164-1212(02)00084-5 db/journals/jss/jss67.html#ChangC03