Looks like the SoC (CIX P1) has Cortex-A720/A520 cores which are Armv9.2, nice.

I've still been on the hunt for a cheap Arm board with a Armv8.3+ or Arvm9.0+ SoC for OSDev stuff, but it's hard to find them in hobbyist price range (this board included, $700-900 USD from what I see).

The NVIDIA Jetson Orin Nanos looked good but unfortunately SWD/JTAG is disabled unless you pay for the $2k model...

And it doesn't seem like anything newer than ARMv9.2 is available either, no matter the price point.