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?
Hello,
Please initialise the tutorial again with the command line:
./init --tut ipc --solution
to get the solved exercise.
Nataliya
On Thu, Sep 29, 2022 at 4:53 PM
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? _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
Thanks, I ran the tutorial and got "Caught cap fault in send phase at address 0" (see blow). Is this critical? and how can I fix this? Booting all finished, dropped to user space Client 2: waiting for badged endpoint Badged 2 Client 1: waiting for badged endpoint Badged 1 Client 2: received badged endpoint the Client 1: received badged endpoint quick fox brown jumps over lazy the dog Caught cap fault in send phase at address 0 while trying to handle: vm fault on code at address 0 with status 0x14 in thread 0xffffff80083a2400 "tcb_client_1" at address 0 With stack: 0x419ee8: 0x40755f 0x419ef0: 0x100419fb8 0x419ef8: 0x4 0x419f00: 0x419f40 0x419f08: 0x4071b0 0x419f10: 0x0 0x419f18: 0x419fd8 0x419f20: 0x419fd0 0x419f28: 0x419fb8 0x419f30: 0x2 0x419f38: 0x401416 0x419f40: 0x419f90 0x419f48: 0x407152 0x419f50: 0x0 0x419f58: 0x419fb0 0x419f60: 0x0
All good, this output is expected, nothing for you to fix at this point. The hello-world tutorial (https://docs.sel4.systems/Tutorials/hello-world.html) has this short sentence that is trying to say that. We should probably make this more explicit: After that output, there should be a capability violation and a stack dump, because the program hasn’t properly cleaned up after itself yet. (This will come in later examples) Ctrl-A, X will terminate QEMU. Cheers, Gerwin On 30 Sep 2022, at 5:33 am, mincheol@vt.edumailto:mincheol@vt.edu wrote: Thanks, I ran the tutorial and got "Caught cap fault in send phase at address 0" (see blow). Is this critical? and how can I fix this? Booting all finished, dropped to user space Client 2: waiting for badged endpoint Badged 2 Client 1: waiting for badged endpoint Badged 1 Client 2: received badged endpoint the Client 1: received badged endpoint quick fox brown jumps over lazy the dog Caught cap fault in send phase at address 0 while trying to handle: vm fault on code at address 0 with status 0x14 in thread 0xffffff80083a2400 "tcb_client_1" at address 0 With stack: 0x419ee8: 0x40755f 0x419ef0: 0x100419fb8 0x419ef8: 0x4 0x419f00: 0x419f40 0x419f08: 0x4071b0 0x419f10: 0x0 0x419f18: 0x419fd8 0x419f20: 0x419fd0 0x419f28: 0x419fb8 0x419f30: 0x2 0x419f38: 0x401416 0x419f40: 0x419f90 0x419f48: 0x407152 0x419f50: 0x0 0x419f58: 0x419fb0 0x419f60: 0x0 _______________________________________________ Devel mailing list -- devel@sel4.systemsmailto:devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systemsmailto:devel-leave@sel4.systems
participants (3)
-
Gerwin Klein -
mincheol＠vt.edu -
Nataliya Korovkina