In the “Platforms State of the Union” video, which gets a little bit more technical, 30 minutes in, they are explicitly mentioning the ARM version of Debian Linux and show it off. So yes, we are talking about virtualization of an ARM system here.