# What platforms and kernel was sculptos tested on (ARM)?
**URL:** https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315
**Category:** Developer's Corner
**Created:** [May 16, 2026, 3:20pm UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315 "2026-05-16T15:20:56Z")
**Posts on this page:** 4
**Page:** 1
### Author:  [@fdelizy](https://genode.discourse.group/u/fdelizy)
#### Post date: [May 16, 2026, 3:20pm UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315/1 "2026-05-16T15:20:56Z")
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](https://genode.discourse.group/t/sculptos-kernel-selection/259/5) 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 ^^;
---
### Author:  [@Nos](https://genode.discourse.group/u/Nos)
#### Post date: [May 17, 2026, 6:48am UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315/2 "2026-05-17T06:48:11Z")
Last year @alex-ab released an [multi-kernel-image of SculptOS](https://genode.discourse.group/t/which-kernel-are-you-running/128/6) 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.
---
### Author:  [@skalk](https://genode.discourse.group/u/skalk)
#### Post date: [May 18, 2026, 9:13am UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315/3 "2026-05-18T09:13:36Z")
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.
---
### Author:  [@fdelizy](https://genode.discourse.group/u/fdelizy)
#### Post date: [May 18, 2026, 12:57pm UTC](https://genode.discourse.group/t/what-platforms-and-kernel-was-sculptos-tested-on-arm/315/4 "2026-05-18T12:57:20Z")
thanks for the feedback! looks like I’ll have to dig more into base-sel4 then 🙂