Earlier quoted context omitted.
Everything except the GPU (and display controller)... which is a bigger challenge than every other driver combined :) (their kernel runs only on the boot-time framebuffer so far) Unfortunately, we've yet to hear any feedback from Corellium (they've been CCed on my upstream submissions), nor have they interacted with the Linux kernel community in any other way, so I have no idea what their plans are. So far, after wor…
Hmm, I see them participating on linux-arm-kernel list, nothing since January though: https://lore.kernel.org/linux-arm-kernel/?q=corellium
The only e-mail from a Corellium employee to Linux mailing lists, to date, is this one:
https://lore.kernel.org/linux-arm-kernel/ce74bb29-1237-b0e7-...
This is the most puzzling bit to me: nobody from Corellium participated in the upstreaming discussion about their own code either.