AlexWandell

47 karma · joined September 16, 2024

AlexWandellon Ask HN: What runs L4-related microkernels/hypervisors these days?

I know that at one point they did (2012-ish), but do they still? From what I could make of some of the recent reverse engineering research on Qualcomm modems, they seem to suggest that they've been using a homegrown RTOS for awhile now.

AlexWandellon Ask HN: What runs L4-related microkernels/hypervisors these days?

Nice! Yeah, that's definitely modern enough. Do you know if it runs as a hypervisor in the Secure Enclave firmware? It seems like the processor itself is low-power enough that it might not have virtualization features.