From ec4f58e8e362e371718f656923c2d234f8ac215c Mon Sep 17 00:00:00 2001 From: Jake Mannens Date: Sat, 7 Jul 2018 20:19:23 +1000 Subject: Added '-g' flag for GCC to all makefiles to ensure debugging information is produced. This may change later. Added the new directory 'lib' to the source tree which build lib.a, an archive containing common library routines for both the kernel and userspace code to use. Added the file string.c to the lib directory (as well as the appropriate headers in /include) which provides some basic functions from the standard C string library. Added a physical memory manager which is now located in memory.c. This memory manager tracks free pages from 1MB-8MB with a simple table and allocates memory in blocks of 4KB pages. Multiple pages can be allocated in which they are returned as a linked list. Added a 'page window' in memory.c which allows the temporary mapping of a single page at a time into the current address space. Moved all paging routines that were previously located in page.s over to memory.c where they have been re-implemented as a mixture of C and inline assembly. Moved the primative userspace routines from usrspace.s over to the new sched.c. The only remaining routine, usrcall is now located in asm.s as 'switch_to' which takes two arguments, pointers to the task structure and task state structure of the new task which is being switched to. Pages for userspace are now allocated dynamically. The user binary is loaded in at 1GB upwards. The user stack is located at the end of the 4GB address space with the lower 1GB being reserved for the kernel. Updated the link.ld file for the userspace binary to include the new starting address 0x40000000 (1GB). Renamed the symbols for the user binary blob to make them shorter. --- include/kernel/memory.h | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 include/kernel/memory.h (limited to 'include/kernel/memory.h') diff --git a/include/kernel/memory.h b/include/kernel/memory.h new file mode 100644 index 0000000..7217427 --- /dev/null +++ b/include/kernel/memory.h @@ -0,0 +1,18 @@ +#include + +#define PGENT 1024 + +typedef uint32_t pte_t; +typedef uint32_t __attribute__((aligned (4096))) ptab_t[PGENT]; +typedef uint32_t pde_t; +typedef uint32_t __attribute__((aligned (4096))) pdir_t[PGENT]; + +extern ptab_t ktab; + +void *alloc_physical_page(void); +int free_physical_page(void*); +void *alloc_physical_pages(unsigned int); + +void *map_page(void*); + +void paging_init(void); -- cgit v1.3