sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Published 20 hours ago • verified publisher icon seL4

mcs tutorial: Simplify passive server initialization protocol example

Open kent-mcleod opened this issue 4 years ago • 1 comments

Once https://github.com/seL4/seL4/pull/523 is merged, setting up a passive server becomes simpler and doesn't need a special init protocol anymore. The mcs tutorial should take advantage of this when showing how to configure a passive server: https://github.com/seL4/sel4-tutorials/blob/master/tutorials/mcs/mcs.md#passive-servers-1

kent-mcleod avatar Sep 07 '21 08:09 kent-mcleod

seL4/seL4#523 is now merged 🙂

lsf37 avatar Sep 08 '21 06:09 lsf37