mcs tutorial: Simplify passive server initialization protocol example
kent-mcleod opened this issue · comments
Once seL4/seL4#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
seL4/seL4#523 is now merged 🙂