correct hardware.h
change N < Number physical pages
assert verification