10000 OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002 · Issue #1333 · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002 #1333

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.

Sign up for GitHub

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

Jump to bottom
Open
lsf37 opened this issue Oct 12, 2024 · 0 comments
Open

OdroidC4 with debug+SMP+MCS on clang fails MULTICORE0002 #1333

lsf37 opened this issue Oct 12, 2024 · 0 comments
Assignees
@alwin-joshy
Labels
bug Not working as intended debug-build relevant to debug build configurations MCS issues about the mixed-criticality system config SMP Issues related to muticore functionality

Comments

@lsf37
Copy link
Member
lsf37 commented Oct 12, 2024

Since PR #1206, the test MULTICORE0002 is failing on the board OdroidC4 (and only on this board) in the configuration debug_MCS_SMP_clang.

It's unclear why, we have so far not been able to find anything in that PR that should influence what this test is doing. Upgrading clang from clang-11 to 12, 14 or 16 has not made any difference.

I will be disabling this test temporarily so other PRs can be merged, but we will need to address this before the next release, in the worst case by reverting PR #1206.
@lsf37 lsf37 added MCS issues about the mixed-criticality system config SMP Issues related to muticore functionality debug-build relevant to debug build configurations bug Not working as intended labels Oct 12, 2024
lsf37 added a commit to seL4/ci-actions that referenced this issue Oct 12, 2024
@lsf37
sel4test-hw: remove odroidc4_debug_smp_mcs_clang
6d6eba2 
Temporarily remove odroidc4_debug_smp_mcs_clang until seL4/seL4#1333 is
resolved.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 lsf37 mentioned this issue Oct 12, 2024
Merged
lsf37 added a commit to seL4/ci-actions that referenced this issue Oct 13, 2024
@lsf37
sel4test-hw: remove odroidc4_debug_smp_mcs_clang
62931f1 
Temporarily remove odroidc4_debug_smp_mcs_clang until seL4/seL4#1333 is
resolved.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@Indanz Indanz mentioned this issue Feb 24, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alwin-joshy alwin-joshy

Labels
bug Not working as intended debug-build relevant to debug build configurations MCS issues about the mixed-criticality system config SMP Issues related to muticore functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lsf37 @alwin-joshy
0