From e8c6577617bffa4402c07c7aa20e3c24f03c1c20 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Sun, 6 Sep 2020 00:48:07 -0400 Subject: program loading, others big kernel additions: paging, elf loading, separate kernel and user page allocation it now properly loads and runs sd0:bin/init.elf still need to determine which disk was booted from, and start the init on that disk --- src/kernel/paging.h | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 src/kernel/paging.h (limited to 'src/kernel/paging.h') diff --git a/src/kernel/paging.h b/src/kernel/paging.h new file mode 100644 index 0000000..72400e8 --- /dev/null +++ b/src/kernel/paging.h @@ -0,0 +1,17 @@ +#include +#include + +void init_paging(); + +void *new_pd(); +void free_pd(void *pd); +void pd_map(void *pd, uint32_t physical_addr, uint32_t virtual_addr, bool writable); +void switch_pd(void *pd); + +void free_task_pd(void *pd); +void *new_task_pd(); +void *pd_user_allocate(void *pd, uint32_t vma, uint32_t pages, bool writable); +void *pd_user_allocate_anywhere_writable(void *pd, uint32_t pages); + +void switch_to_kernel_cr3(); +void switch_to_task_cr3(); \ No newline at end of file -- cgit v1.2.3