English
Russian
Contents 5.1 Overview 5.2 Configuration parameters
5.1 Overview [up]
In accordance L4 Kernel Reference Manual Version X.2 for every thread must be assigned pager thread. Pager thread catch pagefault requests and process it. Root-pager Sigma0 is pager for root-task Alpha. Initially Sigma0 has all system memory and gives it to Alpha at alpha's startup.
The following actions must be doing by Sigma0:
- read memory resource list from KIP memory descriptors;
- create address space and thread for root-task Alpha and run it;
- process pagefault requests from Alpha in runtime;
- process Sigma0 protocol requests from Alpha in runtime.
5.2 Configuration parameters [up]
Sigma0 has the next configuration parameters:
| Name | Location | Description |
|---|---|---|
| usr_app_dbg | cfg/prj/<project-name>.prj | Applications debug flag. My be 0 or 1. It allows to use debug configuration with asserts, additional debug outputs and other (for 1) or use release configuration (for 0). |