j
k
j a
j l
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?
Back to the thread
Back to the list