Fix paging #PF, simplify init_tasks
Unsure what fixed the paging #PF in init_tasks, but allocating a page
now works as expected. Originally a #PF would occur if alloc_page was
called after a certain point in init_tasks.
diff --git a/src/kernel/x86_32/switch_table.s b/src/kernel/x86_32/switch_table.s
index c8e6260..e7d80f9 100644
--- a/src/kernel/x86_32/switch_table.s
+++ b/src/kernel/x86_32/switch_table.s
@@ -7,9 +7,8 @@
mov cr3, ecx
ret
- [global enable_paging]
-enable_paging:
- mov ecx, cr0
- or eax, 0x80000000
- mov cr0, ecx
+ [global invalidate_page]
+invalidate_page: ; void (void *page)
+ mov eax, [esp + 4]
+ invlpg [eax]
ret