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