Resources
Training
Training resources should take learners from the memory-safety problem to capability concepts and then into a matched hands-on environment.
What you’ll find
Training resources should take learners from the memory-safety problem to capability concepts and then into a matched hands-on environment. Materials may be organised for decision-makers, architects, developers, educators or assurance teams.
Choose training by the learner’s next task, not by job title alone. A buyer may need claims and evidence; an architect needs system boundaries; a developer needs a reproducible toolchain exercise; an assurance professional needs the exact property, implementation and test route.
Choose the right route
1. Foundation
Use concise explanations of authority, bounds, permissions, tags and compartmentalisation.
2. Hands on
Pair concepts with a toolchain, simulator or board exercise that produces an observable result.
3. Apply
Finish with a port, threat model, compartment plan or evidence review relevant to the learner’s role.
How to use this page
Role-based routes prevent introductory material from overwhelming newcomers while giving implementers the detail required for correct work.
Check before relying on an item
Check the target architecture and last-verified date before running exercises; research toolchains and commands change.
Check publisher, date, version, scope and status. Follow summaries to the primary specification, artefact, data or project record.