diff --git a/Contributions/README.md b/Contributions/README.md index 6009d2f..65a759a 100644 --- a/Contributions/README.md +++ b/Contributions/README.md @@ -7,6 +7,9 @@ ELISA umbrella. ## Index These markdown documents are actively extended and reviewed, as part of safety-related work done within ELISA. +* [Linux Kernel Safety First Principles](Linux_Kernel_Safety_First_Principles.md) + (3rd party) Gateway document to Linux Safety. + * [Linux Memory Management Essentials](Linux_Memory_Management_Essentials.md) (3rd party) Summary of Memory Management features of the Linux Kernel that are also relevant for safety.