CeDOS - kernel/os_page_allocator.c

kernel/os_page_allocator.c (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include "os_page_allocator.h"
#include "os_paging.h"

uint8_t* first_free = (uint8_t*)0x00200000;

void* get_free_page() {
    void* res = first_free;
    first_free += PAGE_SIZE;
    return res;
}

void mark_as_free(void* page_addr) {
    
}