Jan Schär 691c295cf9 Implement spawn over URPC ... It doesn't work yet because bootinfo is missing on core 1.		2022-04-28 11:25:04 +02:00
..
argv.h	Main handout	2022-03-03 14:57:51 +01:00
multiboot.h	Main handout	2022-03-03 14:57:51 +01:00
rpc_server.h	Implement spawn over URPC	2022-04-28 11:25:04 +02:00
spawn.h	Fix bugs	2022-03-31 10:24:28 +02:00