Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Default to purecap kernel on morello #2005

Merged
merged 1 commit into from
May 3, 2024
Merged

Conversation

brooksdavis
Copy link
Member

Corresponds to CTSRD-CHERI/cheribuild#389 for native builds, but this Morello-only as we don't build riscv kernels natively under emulation or on FPGA.

@bsdjhb
Copy link
Collaborator

bsdjhb commented Feb 7, 2024

Ah, I wasn't sure if we wanted to actually do the more invasive step of renaming kernel configs around to remove -PURECAP suffixes and add -HYBRID suffixes instead. This is fine though.

Adjust so that we default to GENERIC-MORELLO-PURECAP when doing manual
builds.  The new structure suggests we should make GENERIC-MORELLO be
purecap and add -HYBRID kernels, but that's a proposition with much
further reaching effects.
@brooksdavis brooksdavis merged commit 51a2a4b into dev May 3, 2024
25 of 27 checks passed
@brooksdavis brooksdavis deleted the default-purecap-kernel branch May 3, 2024 16:19
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.

2 participants