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 |