3 ms·Anybody know which microkernel they are using? I was not able to find itby andrewmine 10y agoAnybody know which microkernel they are using? I was not able to find it