There's a bit of competition now going between asahi and corellium. While most of the spicy tweets have been removed, there's a summary https://twitter.com/AsahiLinux/status/1350547056679477250 Essentially, while this project may be quicker to get visible results, they may not be able to release all the code kosher for merging upstream. It will be interesting to see the next steps.
https://lore.kernel.org/linux-arm-kernel/20210120132717.3958...