-
Philippe Gerum authored
Now that we don't have the evl_sem element in kernel space anymore, convert evl_ksem from the kernel API to evl_sem. Signed-off-by: Philippe Gerum <rpm@xenomai.org>
b6f896cd
Now that we don't have the evl_sem element in kernel space anymore,
convert evl_ksem from the kernel API to evl_sem.
Signed-off-by: Philippe Gerum <rpm@xenomai.org>