bbrcknl

combine common api error codes

1

The seL4 API has three common error codes - `seL4_IllegalOperation` - `seL4_InvalidCapability` - `seL4_TruncatedMessage` as described in https://github.com/seL4/seL4/issues/622 I've replaced the text in the descriptions in the xml files, E.g....

DOCSITE: Reorganise tutorials and add inline solutions

11

**Aim:** Arrange the tutorial material such that it is clear and easy to follow **Solution:** Inspired by the Rust book https://doc.rust-lang.org/book/, the user can see the chapters in the index...

TUTORIALS: Reorganise tutorials and add inline solutions

3

**The updates in this PR were written in conjunction with those in https://github.com/seL4/docs/pull/231** The aim of both PRs is: To arrange the tutorial material on the docsite such that it...