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

`