search

GaloisInc / BESSPIN-CloudGFE

The AWS cloud deployment of the BESSPIN GFE platform.
Apache License 2.0
2 stars 2 forks source link

add FreeBSD test suite to CI #103

Open kiniry opened 4 years ago

kiniry commented 4 years ago

Cambridge is working on porting the FreeBSD test suite to CHERI-RISC-V. When they feel it is ready, we should investigate adding it to our periodic CI runs.

FYI @jared-w @podhrmic @rfoot @Abivin12 @dmzimmerman

I'm not putting a performer or a milestone on this for the moment. I'll park it in Someday on the board.

kiniry commented 4 years ago

@rwatson shared this via another channel:

Yes, that would be great. We’ve been working to get FreeBSD/RISC-V routinely running the full test suite upstream with FreeBSD, but ideally two versions of the suite would run on CheriBSD/RISC-V in SSITH CI: (1) A baseline FreeBSD/RISC-V variant, to demonstrate continued compatibility/functionality for the baseline ABI; and (2) A CheriABI-compiled variant of the same. If this can run in Galois CI, that would be great. Some coordination will be required to ensure that you have all the parts necessary .. I’m not sure we’ve put FreeBSD test suite bits in cheribuild yet, so there may be missing (or hard-to-find) instructions for doing this.