search

seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

Add zynqmp support to libsel4vm #78

Closed chrisguikema closed 2 years ago

chrisguikema commented 2 years ago

I know its not a supported platform yet, but this should be able to be merged and it will be ready when the camkes-vm officially supports the board.

kent-mcleod commented 2 years ago

I know its not a supported platform yet, but this should be able to be merged and it will be ready when the camkes-vm officially supports the board.

Is camkes-vm support blocked on SMC calls?

chrisguikema commented 2 years ago

Is camkes-vm support blocked on SMC calls?

Essentially yes, but technically we could release support for RTEMS. Linux has far too many SMC calls that must be emulated.