search

seL4 / ci-actions

CI GitHub actions for the seL4 repositories
https://sel4.systems
3 stars 13 forks source link

platforms: add polarfire hardware build #328

Closed lsf37 closed 9 months ago

lsf37 commented 9 months ago

Ideally we'd also add simulation support, which first needs updates in the simulate.py script in seL4_tools. qemu seems to have support for it: https://www.qemu.org/docs/master/system/riscv/microchip-icicle-kit.html

I had a first go at that, but didn't get any output from qemu, so I'm leaving it out for now.

Adds one of the platforms listed in #282

Ivan-Velickovic commented 9 months ago

https://github.com/seL4/seL4/issues/1094 probably needs to be sorted out first before it will boot.