[filiphorvat]

So are they basically packaging a toolchain and selling support for it like RHEL or what? Because I doubt they managed to create a full rust spec.

[cmrdporcupine]

It just seems crazy to put the GNAT label on it... when it isn't GNAT.

Unless they're doing something clever like taking LLVM IR and translating and putting it through the GNAT backend or something?