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
..
api	Add 2 new benchmark utilization syscalls	2020-07-15 15:15:27 +10:00
interfaces	manual: fix explanation of CNode_Mutate	2021-10-19 15:50:47 +11:00
sel4	libsel4: def. CONFIG_KERNEL_LOG_BUFFER in autoconf	2021-09-06 08:08:54 +10:00