This library is based closely on original code from seL4 SOS (AOS project) library libsel4sync.
This repository has been archived by the owner on Nov 22, 2018. It is now read-only.
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
SEL4PROJ/libsel4sync
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
Resources
Stars
Watchers
Forks
Packages 0
No packages published