Crate sel4_shared_ring_buffer_bookkeeping 

Modules

slot_count_tracker

slot_set_semaphore

slot_tracker