Crate sel4_shared_ring_buffer_bookkeeping

Modules

• slot_count_tracker
• slot_set_semaphore
• slot_tracker