Skip to content

Commit 40f0ea1

Browse files
committed
Update README.md
Signed-off-by: Igor Stoppa <[email protected]>
1 parent ceeca20 commit 40f0ea1

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

Contributions/README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ ELISA umbrella.
77
## Index
88
These markdown documents are actively extended and reviewed, as part of safety-related work done within ELISA.
99

10+
* [Linux Memory Management Essentials](Linux_Memory_Management_Essentials.md)
11+
(3rd party) Summary of Memory Management features of the Linux Kernel that are also relevant for safety.
12+
1013
* [Using Linux in a Safe System](Using_Linux_in_a_Safe_System.md)
1114
(3rd party) Non-exhaustive list of engineering considerations and practices, that can help with designing a Safe System containing Linux.
1215
It can be seen as a companion to the Checklist below.

0 commit comments

Comments
 (0)