#osdi24 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #osdi24, aggregated by home.social.
-
Next time somebody tells you that that microkernels are useless, impractical and/or have poor performance, let them read this:
"We have deployed HM on tens of millions of devices, including smart routers, smart vehicles, and smartphones, which provides not only better security and reliability but also better performance than their Linux counterparts." [1]
[1] Haibo Chen et al.: Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel, in the Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation,
https://www.usenix.org/system/files/osdi24-chen-haibo.pdf
#microkernel #osdi #osdi24 -
