Nella scrittura della page_init può essere utile riflettere sulle seguenti istruzioni (che potete provare all'interno di page_init)

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]));