EMBARK/kernel.h

#ifndef H_KERNEL
#define H_KERNEL

// scheduler settings
#define TIME_SLICE_LEN 10          // number of cpu time ticks per slice

// set size of allocated stack for user processes
#define USER_STACK_SIZE (1 << 12)

// init function
extern __attribute__((__noreturn__)) void init();

#endif
initial commit 3 years ago			`#ifndef H_KERNEL`
			`#define H_KERNEL`

			`// scheduler settings`
various imrpovements and implementations on the kernel 3 years ago			`#define TIME_SLICE_LEN 10 // number of cpu time ticks per slice`
initial commit 3 years ago
Reuse stacks of dead processes In order to make the stack-space of dead processes usable again, I addeed a stack data structure which holds unused stack pointers. When a process is killed, the destructor is called, which will free the stack associated with the process. 3 years ago			`// set size of allocated stack for user processes`
			`#define USER_STACK_SIZE (1 << 12)`

initial commit 3 years ago			`// init function`
			`extern __attribute__((__noreturn__)) void init();`

uncrustified kernel 3 years ago			`#endif`