#include <minix/ipc.h> in <minix/sef.h>
#include <minix/ipc.h> in <minix/sef.h>

veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi