Skip to content

Experimental support for a new CVA6-CHERI platform #18

Open
heshamelmatary wants to merge 2 commits into
CHERI-Alliance:codasip-cheri-riscv-6.18from
Capabilities-Limited:capltd-cheri-riscv-6.18
Open

Experimental support for a new CVA6-CHERI platform #18
heshamelmatary wants to merge 2 commits into
CHERI-Alliance:codasip-cheri-riscv-6.18from
Capabilities-Limited:capltd-cheri-riscv-6.18

Conversation

@heshamelmatary
Copy link
Copy Markdown
Collaborator

This initial support enables building and running CHERI-Linux on CVA6-CHERI [1] on the Genesys2 FPGA board.

[1] https://www.capabilitieslimited.co.uk/current-projects/cheri-cva6

@heshamelmatary heshamelmatary force-pushed the capltd-cheri-riscv-6.18 branch from 91a9f3e to 1df9bb2 Compare April 13, 2026 11:25
@stuartmenefy
Copy link
Copy Markdown

Out of curiosity I went looking for the source of the Lowrisc Ethernet driver. I found a patch adding what appears to be this version at:
https://github.com/openhwgroup/cva6-sdk/blob/77fc4a943f58d64b6cfaeea8f9ff229564d518ba/linux_patch/0001-Incorporate-lowrisc-drivers-for-latest-kernel-releas.patch
However this has now been updated to:
https://github.com/openhwgroup/cva6-sdk/blob/master/patches/genesys2/linux/0001-Incorporate-lowrisc-drivers-for-latest-kernel-releas.patch
which according to the comments has several fixes, and includes some (but not all) of the modifications made in the second patch.

Either way it would be useful for the commit comment to include an upstream source and version for this driver to make it easer to track changes.

@heshamelmatary
Copy link
Copy Markdown
Collaborator Author

Out of curiosity I went looking for the source of the Lowrisc Ethernet driver. I found a patch adding what appears to be this version at: https://github.com/openhwgroup/cva6-sdk/blob/77fc4a943f58d64b6cfaeea8f9ff229564d518ba/linux_patch/0001-Incorporate-lowrisc-drivers-for-latest-kernel-releas.patch However this has now been updated to: https://github.com/openhwgroup/cva6-sdk/blob/master/patches/genesys2/linux/0001-Incorporate-lowrisc-drivers-for-latest-kernel-releas.patch which according to the comments has several fixes, and includes some (but not all) of the modifications made in the second patch.

Either way it would be useful for the commit comment to include an upstream source and version for this driver to make it easer to track changes.

@stuartmenefy Thanks for the heads-up! Their new updated driver (from 2 weeks ago) has been pushed recently after I made that update. Their updated one should make our life easier, I'll test it and try to just use that and remove my changes/updates if it works fine.

@chrehrhardt
Copy link
Copy Markdown
Collaborator

Please look at the checkpatch complaints as well. Some should be ignored but some (trailing whitespace, ...) do need fixing, please.

[Andreas Korb: Upgrade to modern kernels and fix bugs
  - Remove unneeded MMC driver
  - Adapt from Linux kernel 5.1 to 6.19
  - Fix compilation warnings
  - Refactoring
  - Fix re-enabling ethernet interface
    (works now instead of saying interface is busy)
]

Hesham Almatary: Copied and applied (with a trivial merge-conflict fix) from
https://github.com/openhwgroup/cva6-sdk/blob/4dd7756e3168db8ebdeb14614c9d2f4293f1232a/patches/genesys2/linux/0001-Incorporate-lowrisc-drivers-for-latest-kernel-releas.patch

Signed-off-by: Andreas Korb <andreas.korb@aisec.fraunhofer.de>
Signed-off-by: Hesham Almatary <heshamalmatary@capabilitieslimited.co.uk>
@heshamelmatary heshamelmatary force-pushed the capltd-cheri-riscv-6.18 branch from 1df9bb2 to 8d600ca Compare April 20, 2026 18:23
A defconfig is a combination of the current upstream CVA6-Linux [1] and
CHERI Alliance's Linux that enables CHERI.

[1] https://github.com/openhwgroup/cva6-sdk/blob/4dd7756e3168db8ebdeb14614c9d2f4293f1232a/configs/genesys2/linux64_defconfig

Signed-off-by: Hesham Almatary <heshamalmatary@capabilitieslimited.co.uk>
@heshamelmatary heshamelmatary force-pushed the capltd-cheri-riscv-6.18 branch from 8d600ca to 68c82a6 Compare April 20, 2026 18:25
@heshamelmatary
Copy link
Copy Markdown
Collaborator Author

Please look at the checkpatch complaints as well. Some should be ignored but some (trailing whitespace, ...) do need fixing, please.

Currently still just testing after upgrading to the latest CVA6-Linux patches as @stuartmenefy suggested. The original patch has these whitespace errors, I'll look into it and let you know when this PR is ready for another review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants