What platforms and kernel was sculptos tested on (ARM)?

Developer's Corner
1

Hi,

as I am working mostly on hw or sel4 for arm, I am wondering what platform/kernel sculptOS have been running and verified to work?

I found this: SculptOS kernel selection? - #5 by alex-ab talking mostly about the x86_64 world, but not much info on the arm section.

Our progresses so far:

  • we got the armstone _imx8mp to run sculptOS 26.4-RC2 + hw (took some porting effort, we will upstream that)
  • got sel4 to work too (that took some more serious porting, and still clearing out the path of some hacks, will open a thread at some point to upstream too).
  • we are still porting on iMX95 platform (this one is a bit tougher)

I am curious about NOVA, Fiasco.OC, and maybe Zircon?

Thanks!

PS:

we need to bump our patches to the latest staging first before upstreaming ^^;

2

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.

3

We tested the latest Sculpt OS release intensively on MNT Reform 2 using base-hw. In general, we only use base-hw for running Sculpt OS on ARM hardware. Armstone i.MX 8MP, MNT Pocket i.MX 8MP, and i.MX 8MQ EVK board support were tweaked to support Sculpt OS 26.04 in general, but aren’t tested much.

4

thanks for the feedback! looks like I’ll have to dig more into base-sel4 then :slight_smile: