microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Microkit support for 32bit architectures (Zynq7000)?

Open podhrmic opened this issue 2 years ago • 1 comments

Hello!

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

podhrmic avatar Apr 28 '23 16:04 podhrmic

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.

Ivan-Velickovic avatar May 01 '23 00:05 Ivan-Velickovic