search

seL4 / util_libs

Other
53 stars 83 forks source link

PolarFire SoC: Ltimer Support #141

Closed Apave24 closed 1 year ago

kent-mcleod commented 1 year ago

@lsf37, It would be possible to add the polarfire to the compilation tests for sel4tests even if we don't have a platform to run the artifacts on currently right?

axel-h commented 1 year ago

@lsf37, It would be possible to add the polarfire to the compilation tests for sel4tests even if we don't have a platform to run the artifacts on currently right?

Polarfire is supported by QEMU, so this should work as a placeholder.

lsf37 commented 1 year ago

@lsf37, It would be possible to add the polarfire to the compilation tests for sel4tests even if we don't have a platform to run the artifacts on currently right?

Yes, that is possible. I'll add it.