Memory management in CHERIoT RTOS: Recovery from memory errors.

[adam-3bian]

https://github.com/CHERIoT-Platform/book/blob/main/text/memory.tex#L29

A significant question in the early days of Morello was, "How do we recover from a memory error?" It was one of the first questions I asked Marno when Sonata was announced. I believe "6.9. Handling errors" addresses this, but someone searching through this documentation for an answer is more likely to look in the memory section. A reference here would be helpful.