Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 586 Bytes

README.md

File metadata and controls

19 lines (14 loc) · 586 Bytes

RTEMS SMP Formal

This repository contains the models and tooling developed as part of the ESA-sponsored activity Qualification of RTEMS Symmetric Multiprocessing (SMP), as well as result of ongoing contributions by students at Trinity College Dublin to improve and extend them.

Contributors

  • Andrew Butterfield
  • Frédéric Tuong
  • Robert Jennings
  • Jerzy Jaśkuć
  • Eoin Lynch
  • James Gooding Hunt

License

This project is licensed under the BSD-2-Clause or CC-BY-SA-4.0.