Ada: Difference between revisions
Jump to navigation
Jump to search
[unchecked revision] | [unchecked revision] |
Content deleted Content added
m Reverted edits by Leapofazzam (talk) to last revision by Ajxs |
No edit summary |
||
Line 202: | Line 202: | ||
===Operating System projects using Ada=== |
===Operating System projects using Ada=== |
||
*[https://ironclad.nongnu.org Ironclad] |
|||
*[https://muen.codelabs.ch/ Muen Separation Kernel] |
*[https://muen.codelabs.ch/ Muen Separation Kernel] |
||
*[https://marte.unican.es/ MaRTE OS] |
*[https://marte.unican.es/ MaRTE OS] |