search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

Improve emulators/qemu-cheri to use it on CheriBSD/Morello #147

Closed kwitaszczyk closed 4 months ago

kwitaszczyk commented 4 months ago

This PR updates updates the port, removes unnecessary dependencies and configure flags, updates supported architectures and adds necessary firmwares to the package.

EDK II is currently included in the qemu-cheri package as sysutils/edk2 doesn't include the firmware for aarch64. We also don't have a port for BBL. Commit messages also describe these issues.

With these changes, I can use the port to run CheriBSD 23.11 for Morello and CHERI-RISC-V under QEMU on CheriBSD/Morello.

kwitaszczyk commented 4 months ago

I've tested this change after rm -rf /usr/local64 and I discovered some dependencies were missing. I've added necessary changes to this PR.

kwitaszczyk commented 4 months ago

I've also added the qemu-meta port to provide a qemu package.