sel4_shared_ring_buffer

Constant RING_BUFFER_SIZE

Source 
pub const RING_BUFFER_SIZE: usize = 512;