worker-bee 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.