Anton Lydike df0a944528 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.		2021-08-23 09:38:28 +02:00
..
boot.S	removed trailing whitespaces	2021-08-22 19:04:15 +02:00
csr.c	applied uncrustify to csr source	2021-08-22 19:53:59 +02:00
csr.h	applied uncrustify to csr source	2021-08-22 19:53:59 +02:00
ecall.c	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00
ecall.h	applied uncrustify to ecall source	2021-08-22 19:53:59 +02:00
io.c	applied uncrustify to io source	2021-08-22 19:53:59 +02:00
io.h	applied uncrustify to io source	2021-08-22 19:53:59 +02:00
ktypes.h	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00
malloc.c	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00
malloc.h	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00
sched.c	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00
sched.h	Reuse stacks of dead processes	2021-08-23 09:38:28 +02:00