2 ms·

And their HarmonyOS is way better than anything else. Even Genode. Like L4 or the abandoned Google Fuchsia.