uITRON4.0 Specification Memory Protection Extension (Page13)

Moreover, TDOM_NONE (=-2) will specify kernel objects that does not belong to any protection domain. TDOM_SELF (=0) will specify the protection domain that belongs to the task itself.

 

2.2.2 Creation of Protection Domain

By this specification, protection domain will be created statically and dynamic creation and deletion of protection domains are not supported.

To create the protection domain statically, the following descriptions should be made into the configuration file.

            <Protection Domain type><Protection Domain ID>{
                        Registration of kernel objects belonging to the protection domain

};

 

Here, <Protection Domain type>is specified with system_domain or user_domain. <Protection Domain ID>is specified with positive integer or single identifier. When single identifier is specified, configurator allocates unique protection domain ID and creates preprocessor directive (#define) defining the ID number as macro definition insided kernel_id. Insided the protection domain block (parenthesis), the static API which registers (creation, definition, etc.) kernel objects belonging to that protection domain.

When there are no kernel objects belonging to the protection domain or when only the protection domain identifier needs to be defined as forward reference, the following method is used.

            <Protection Domain Type><Protection Domain ID> ;

Kernel Domain exists always and no need to create it. When registering kernel objects belonging to the kernel domain, the following method is used.

kernel_domain {

          registration of kernel objects belonging to the kernel domain

}