We have published 'Protection Extension of µITRON4.0 Specification (µITRON4.0/PX Specification; Japanese version)', which is to add access protection functions of kernel objects including memory area.
The detailed information on the specification is here.
We have published the English version of the µITRON4.0 Specification (Ver. 4.00.00). The detailed information on the specification is here.
preview:
http://www.ertl.jp/ITRON/home-e.html
9/4/2003