Hello @sacha,
all Axon PLCs should be shipped with Debian 10 Buster inside. Of course, you can simply upgrade any older unit to the latest OS (all current OS Images are based on the Buster).
Images can be downloaded from our KB.
A tutorial of how to flash the image (same for all Axon OS Images).