Kernel/Memory: Give each process its own page table and allow switching the current page table upon reschedule