Microkit support for 32bit architectures (Zynq7000)?

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

Microkit support for 32bit architectures (Zynq7000)? #29

Open podhrmic opened 1 year ago

podhrmic commented 1 year ago

Hello!

Is 32 bit ARM support on the roadmap for CP? Or is it strictly 64bit?

Ivan-Velickovic commented 1 year ago

At the moment I am not aware of anyone working on 32-bit support. I don't think it is strictly 64-bit, especially considering that it is intended for embedded use.