Gerwin Klein 51d3b824b8 manual: fix explanation of CNode_Mutate ... Mutate cannot be used to badge endpoints (many years ago, before the first public release, this was possible, but was removed). Also explain why Mutate is not always replaceable with Mint+Delete. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2021-10-19 15:50:47 +11:00
..
sel4.xml	manual: fix explanation of CNode_Mutate	2021-10-19 15:50:47 +11:00