You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

30 lines
496 B
C

3 years ago
#include "kernel.h"
#include "ecall.h"
#include "sched.h"
#include "io.h"
3 years ago
void create_processes_from_bin_table();
3 years ago
extern ProcessControlBlock processes[PROCESS_COUNT];
loaded_binary binary_table[NUM_BINARIES] __attribute__ ((section (".data")));
extern void memset(unsigned int, void*, void*);
3 years ago
extern void init()
{
init_ecall_table();
dbgln("Kernel started!", 15);
create_processes_from_bin_table();
3 years ago
scheduler_run_next();
}
void create_processes_from_bin_table()
{
}