QNX-like OS with seL4 as its kernel