2024-09-18 11:14:06 -04:00
|
|
|
#include "memory.h"
|
|
|
|
|
#include "string.h"
|
2024-09-26 10:18:06 -04:00
|
|
|
#include <stdint.h>
|
2024-09-18 11:14:06 -04:00
|
|
|
|
|
|
|
|
extern void load_page_directory(uint32_t *);
|
|
|
|
|
extern void enable_paging(void);
|
|
|
|
|
|
|
|
|
|
uint32_t page_directory_entries[1024] __attribute__((aligned(4096)));
|
|
|
|
|
uint32_t page_table_entries[1024] __attribute__((aligned(4096)));
|
|
|
|
|
|
|
|
|
|
void init_memory(void)
|
|
|
|
|
{
|
|
|
|
|
memset(page_directory_entries, INIT_FLAGS, 1024);
|
|
|
|
|
for (int i = 0; i < 1024; i++)
|
|
|
|
|
page_table_entries[i] = (i << 12) | INIT_FLAGS;
|
|
|
|
|
page_directory_entries[0] = (uint32_t)page_table_entries | INIT_FLAGS;
|
|
|
|
|
load_page_directory(page_directory_entries);
|
|
|
|
|
enable_paging();
|
|
|
|
|
}
|
