add ARMVIRT32 platform - Githubissues

seL4 / ci-actions

CI GitHub actions for the seL4 repositories

https://sel4.systems

3 stars 13 forks source link

add ARMVIRT32 platform #330

Closed axel-h closed 7 months ago

axel-h commented 7 months ago

This PR adds a AARCH32 QEMU platform. I am not sure how useful this is practically, given we have ARMv8 now and there might be less and less interest in ARMv7 support. We are testing the kernel on the QEMU/sabre simulation and the VM examples seem broken/neglected (https://github.com/seL4/camkes-vm-examples/issues/73). So there is not much use, except for some experimenting. And ensuring CI can hande the QEMU flexibility, as we need this for RISC-V then also.

axel-h commented 7 months ago

Looking at https://github.com/axel-h/seL4/actions/runs/7783498425/job/21222088357?pr=140, this will work fine once https://github.com/seL4/seL4/pull/1182 is merged.

lsf37 commented 7 months ago

Waiting with merge until https://github.com/seL4/seL4/pull/1182 is deployed to the manifest.