Skip to content

/ pok

POK kernel. Safe and secure for safety-critical systems.

pok-kernel.github.io/
BSD-2-Clause License
48 stars 30 forks
Star
Watch
master
1 branch 0 tags
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
 
 
examples
 
 
kernel
 
 
libpok
 
 
misc
 
 
testsuite/arinc653
 
 
.gitlab-ci.yml
 
 
.travis.yml
 
 
LICENSE
 
 
Makefile
 
 
README.md
 
 
TODO
 
 

README.md

About

POK kernel. Safe and secure for safety-critical systems.

pok-kernel.github.io/

Topics

c kernel mils arinc653 security microkernel

Resources

Readme

License

BSD-2-Clause License

Releases

No releases published

Packages

No packages published

Contributors 5

Languages

You can’t perform that action at this time.