Examples

Producer / Consumer synchronization

#include <l4/semaphore/semaphore.h>

l4semaphore_t sem = L4SEMAPHORE_INIT(0);

void produce(void)
{
  // increment semaphore
  l4semaphore_up(&sem);
}

void consume(void)
{
  // decrement semaphore
  l4semaphore_down(&sem);
}