| 7 | | The first step is sequencially executed by proc[0][0][0], while other processors are in wait state: |
| 8 | | * Physical memory allocators initialisation : ''boot_pmem_init()'' |
| 9 | | * Page table initialisation : ''boot_ptabs_init()'' |
| | 7 | == __Sequencial step__ == |
| | 8 | |
| | 9 | The first step executed by proc[0][0][0], while other processors are in wait state. |
| | 10 | |
| | 11 | === void '''boot_pmem_init()''' === |
| | 12 | This function makes the physical memory allocators initialisation. The GIET VM uses two types of pages: |
| | 13 | * BPP : Big Physical Page (2 Mbytes). |
| | 14 | * SPP : Small Physical Page (4 Kbytes). |
| | 15 | There is one SPP and one BPP allocator per cluster containing a physical memory bank. |
| | 16 | All the physical memory allocation is done by the boot-loader |
| | 17 | === void '''boot_ptabs_init()''' === |
| | 18 | This function makes the page table initialisation. There is one page table per user application (vspace) defined in the mapping. |
| | 19 | All these |