Virtual Memory Manager and Memory mapping for Pintos