30 Sep
2022
30 Sep
'22
2:31 a.m.
Hi, I can't figure out what to code in server.c for the ipc tutorial. What can I code after "// TODO use cap transfer to send the badged cap in the reply" line in the tutorial template (server.c) Can anyone share the fully working source.c?
1272
Age (days ago)
1273
Last active (days ago)
3 comments
3 participants
participants (3)
-
Gerwin Klein -
mincheol＠vt.edu -
Nataliya Korovkina