Comment by pjmlp
9 days ago
QNX used to be the golden standard of impossible things for microkernels, that in reality are actually used.
Nowadays not sure how it compares to other ones with wide field experience like Nintendo Switch Horizon, seL4 and more recently HarmonyOS NEXT.
The HongMeng kernel, performance wise, seems indeed to be in the same ballpark as sel4 or QNX, but it doesn't seem that it will be open-sourced.
Perhaps it won't be open sourced, but having read one of the papers written for it, the principles behind its advancements can easily be added to the microkernel repertoire.
What's the core concept compared to other kernels?
7 replies →