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

Jenkins: Also boot dev branch for pull requests targeting dev #231

Merged
merged 3 commits into from
Jul 31, 2023

Conversation

arichardson
Copy link
Member

No description provided.

This is currently called by DCZVA with all zero tag bits and was causing
assertions while running cheribsdtest in Jenkins. The TLBENTRYCAP_FLAG_TRAP
prevents writing non-zero tag bits, but the assertion was triggering for
any value of tags, so relax it to actually model the required condition.
@arichardson arichardson force-pushed the more-jenkins-fixes branch 2 times, most recently from 824b0ae to 60e003f Compare July 31, 2023 20:29
Previously both purecap-kernel and hybrid-kernel jobs were booting the
default kernel (currently hybrid), which is not right for the purecap
jobs. For Morello purecap this did not matter since the kernel is chosen
from the loader prompt, but RISC-V boots the kernel directly.
@arichardson arichardson merged commit 084aa63 into dev Jul 31, 2023
26 checks passed
@arichardson arichardson deleted the more-jenkins-fixes branch July 31, 2023 22:00
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.

1 participant