Last year @alex-ab released an multi-kernel-image of SculptOS and gave a presentation at Fosdem. The wanted kernel could be chosen in the boot-menu. I tried it on my two notebooks (x86-64 based from Intel/ AMD). Maybe I will try iMX8 and iMX95 too at the end of the year.