sched.h

#pragma once
#include <kernel/runtime.h>
#include <stdint.h>
 
void os_thread_initialize_arch(struct OS_thread_t * thread, unsigned stack_size, entrypoint_t * entrypoint, void * data);
 
int os_process_create(Process_t process_id, const struct OS_process_definition_t * definition);
 
__attribute__((noreturn)) void os_boot_thread(Thread_t boot_thread);
 
void os_kernel_shutdown();
 
__attribute__((noreturn)) void os_reset_cpu();
 
int os_set_syscall_return_value(Thread_t thread_id, int32_t retval);