3 ms·L4, L4Ka developed in Karlsruhe is not the same as seL4.by nabla9 2y agoL4, L4Ka developed in Karlsruhe is not the same as seL4.