POK kernel. Safe and secure for safety-critical systems.
master
borde
Migrate from GitLab CI to GitHub actions
Update year in copyright headers
arinc653-threads example: update model.aadl to conform to the AADL ARINC653 annex; add .project file to import easily in OSATE; add model_ramses.aadl to use easily with RAMSES
Bump pyyaml from 5.3.1 to 5.4 in /misc
Reformat C source files and headers
Update .gitignore
Initial commit
Remove references to SVN
Update maintainers information
Initial import