CeDOS - kernel/scheduler.c

kernel/scheduler.c (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include "cedos/scheduler.h"
#include "cedos/paging.h"
#include "cedos/drivers/console.h"

/*!
 * Executes a task.
 */
ProcessID sched_exec(void) {
    void* page_dir = create_empty_page_dir();
    switch_page_dir(page_dir);

    map_range_to(page_dir, (VIRT_ADDR)0x00000000, (PHYS_ADDR)0x00000000, PAGE_ENTRY_COUNT, 0b000000000011);
    
    // will not work because lower memory not mapped
    vga_con.write_s("Successfully switched to new page directory.\n");
    
    return 0;
}

int sched_init(void) {
    return 1;
}