AFAIK it has nothing to do with X32. Likely just a good place to
upload a file. binutils is already getting patches for this thing.
No FPU though, but looking at their Intel Edision efforts, I
reckon this might fit into the Arduino market segment.
So if this happens to be an IoT play for the big fella, then this
might be a good non-FPU Lua target in the future. After all, their
main leverage is x86 software / architecture / legacy_juggernaut.
This is all speculation, since absolutely nothing has been
announced, but it does look promising...
Kein-Hong Man (esq.)
Kuala Lumpur, Malaysia