Possibly libre Bulgarian ARM SoCs

I've just stumbled upon https://olimex.wordpress.com/2020/07/07/the-work-on-our-most-complex-open-source-hardware-linux-board-started-meet-the-tukhla-imx8quadmax-soc-based-board-to-be-designed-wit...

Haven't investigated into the libresw-friendliness of that imx8 chip, tho (isn't some imx8 also used in Purism's phones?)

The company seems to also be selling some stuff with RockChip and Allwinner.

What do You think?