Implementations of specific parts of the OS Kernel as part of development work on the mCertiKOS Kernel developed by the Yale FLINT Group
PBBQ: Implementation of a bounded-buffer queue to handle threads. Requires simple thread lock implementation.
-
Notifications
You must be signed in to change notification settings - Fork 0
bradleyyam/worker-bee
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Implementations of specific parts of the OS Kernel as part of development work on the mCertiKOS Kernel developed by the Yale FLINT Group
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published