6 ms·

I believe a proven correct micro kernel for a production system in smartphone scale is a sufficiently complex engineering task.

• deleted 1y ago
  [deleted]