Compartments and Libraries: Trust model and how to achieve it.

[adam-3bian]

Reading from section 6.3, Adding Compartments to the Build System, sets the scene by introducing xmake.lua. Section 6.4 then shifts focus to coding patterns. The compartment section is one of the most important and detailed parts of the book. While it may involve some repetition, I wonder whether including an example of the relevant xmake.lua section in 6.5, Implementing a Safebox, would help with framing. Additionally, I feel that 6.14, Sharing Globals Between Compartments, and 6.13, Building Software Capabilities with Sealing, might be better placed either before or just after 6.5, given their relevance to these models.

book/text/compartments.tex

Line 174 in 0394c53

\section{Choosing a trust model}

book/text/compartments.tex

Line 653 in 0394c53

\section{Sharing globals between compartments}

book/text/compartments.tex

Line 569 in 0394c53

\section[label=software_capabilities]{Building software capabilities with sealing}