The page linked above contains links to their bootloader and Linux kernel tree (6.1 apparently), so chances are rather low.