The page table now stores actual page table entries. It is still a templated class here, but this will be corrected in the near future. --HG-- extra : convert_revision : 804dcc6320414c2b3ab76a74a15295bd24e1d13d
--HG-- extra : convert_revision : 55afd7d21c276906520da375b3bbb563be420880