Nella scrittura della `page_init` può essere utile riflettere sulle seguenti istruzioni (che potete provare all'interno di `page_init`) {{{#!c assert(IOPHYSMEM == npages_basemem * PGSIZE); assert(IOPHYSMEM/PGSIZE == npages_basemem); cprintf("EXTPHYSMEM:\t%08x (pa)\t%08x (kva)\n", EXTPHYSMEM, KADDR(EXTPHYSMEM)); cprintf("nextfree:\t%08x (pa)\t%08x (kva)\n", boot_alloc(0), PADDR(boot_alloc(0))); assert(boot_alloc(0) == page2kva(&pages[PADDR(boot_alloc(0))/PGSIZE])); }}}