Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
Signed-off-by: Igor Stoppa <[email protected]>
  • Loading branch information
igor-stoppa authored May 30, 2024
1 parent d429e41 commit 44433a6
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Contributions/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down

0 comments on commit 44433a6

Please sign in to comment.