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

disable more zynqmp 32 tests #363

Merged
merged 2 commits into from
Aug 14, 2024
Merged

disable more zynqmp 32 tests #363

merged 2 commits into from
Aug 14, 2024

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Aug 14, 2024

  • hyp doesn't work in 32 bit mode yet, possibly just needs some setup from the elf loader, but disabling for now, since we really only need the non-hyp version at the moment

  • MCS doesn't work in 32-bit mode on the zcu102, stopping with assertion failure at boot (but interestingly does work on the zcu106). Disabling for now.

The zynqmp hyp + 32 combination needs more setup, it currently does not
boot.

Signed-off-by: Gerwin Klein <[email protected]>
32-bit zynqmp builds stop with assertion failure at boot on zcu102.

Signed-off-by: Gerwin Klein <[email protected]>
@lsf37 lsf37 self-assigned this Aug 14, 2024
@lsf37 lsf37 added seL4 actions on the kernel repo sel4test actions for sel4test and related repos labels Aug 14, 2024
@lsf37 lsf37 merged commit ab244b7 into master Aug 14, 2024
7 checks passed
@lsf37 lsf37 deleted the zynqmp-hyp-mcs-32 branch August 14, 2024 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
sel4test actions for sel4test and related repos seL4 actions on the kernel repo
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants