Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hello-4 recommends using badged cap for receiving

agacek opened this issue · comments

commented

The hello-4 example recommends that the receiver use the badged cap for receiving. I would expect it to recommend just using the original (unbadged) cap.

https://github.com/SEL4PROJ/sel4-tutorials/blob/master/apps/hello-4/src/main.c#L238

https://github.com/SEL4PROJ/sel4-tutorials/blob/master/apps/hello-4/src/main.c#L272

commented

I've fixed this today, you should see the change come out soon. Thanks!