diff --git a/core/sched.c b/core/sched.c
index ec9b621..1157e33 100644
--- a/core/sched.c
+++ b/core/sched.c
@@ -99,5 +99,6 @@ void schedule(){
 
 	debug("Context switch: %s  -->  %s\n", prev->name, current->name);
 
+	load_vttbr_el2(current->vmid, (uint64_t)current->virtual_address_space->lv1_table);
 	switch_context(&prev->cpu.context, &current->cpu.context);
 }