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