Constant sel4_shared_ring_buffer::RING_BUFFER_SIZE

pub const RING_BUFFER_SIZE: usize = 512;