Merge branch 'main' of gitlab.ibr.cs.tu-bs.de:vss/teaching/ws25/v_bsb2/stubsmi

2026-02-06 23:09:43 +01:00
parent ce87f48f41 598f97cd78
commit 4418419c7b
31 changed files with 402 additions and 3388 deletions
--- a/kernel/syscall/skeleton.h
+++ b/kernel/syscall/skeleton.h
@@ -22,7 +22,7 @@ bool sem_destroy(Vault &vault, size_t id);
 bool sem_signal(Vault &vault, size_t id);
 bool sem_wait(Vault &vault, size_t id);
 void exit(Vault &vault);
-void kill(Vault &vault, size_t pid);
+void kill(Vault &vault, int pid);

 }  // namespace Skeleton
 }  // namespace Syscall