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/pmap.h | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 src/kernel/pmap.h (limited to 'src/kernel/pmap.h') diff --git a/src/kernel/pmap.h b/src/kernel/pmap.h new file mode 100644 index 0000000..1016de3 --- /dev/null +++ b/src/kernel/pmap.h @@ -0,0 +1,17 @@ +#ifndef PAGEMAP_H +#define PAGEMAP_H + +#include + +extern uint32_t kernel_pages_left; +extern uint32_t user_pages_left; +extern uint32_t max_user_pages; +extern uint32_t max_kernel_pages; + +void init_pagemap(); + +void *allocate_kernel_pages(uint32_t n) __attribute__ ((malloc)); +void *allocate_user_pages(uint32_t n) __attribute__ ((malloc)); +void free_pages(const void *ptr, uint32_t n); + +#endif \ No newline at end of file -- cgit v1.2.3