sentry
Contents:
Sentry Concepts
Initial conception model
Architectural model
About events
Security in Sentry
Sentry UAPI
Sentry Build system
Sentry software architecture
Sentry Tests
Sentry Formal Proof
Index
sentry
Sentry Concepts
Sentry Concepts
Contents:
Initial conception model
Micro-kernel design
Application developer model
About general tasking model
Tasks properties
job entrypoint
Mapping tasks
Architectural model
Micro-kernel responsibility
Micro-kernel design: handles
Micro-kernel design: events
Other user-space/kernel-space communication concepts
Micro-kernel design for portability
About events
About shared memories
About DMA streams
About signals
About Interrupts
Security in Sentry
Security requirements
About stack smashing protection
About compile-time hardening
About the usage of anti-temper detection coprocessor