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

Add i.MX93 support + bugfixes #50

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Add i.MX93 support + bugfixes #50

wants to merge 3 commits into from

Conversation

Indanz
Copy link
Contributor

@Indanz Indanz commented Nov 29, 2024

The i.MX93 only has up to 2 cores.

I can split the bugfixes into a separate PR if required, that would make more sense I suppose. The page mapping test is the last one crashing when RELEASE=OFF, so I could also just wait with the bugfixes till I fixed that one too.

Signed-off-by: Indan Zupancic <[email protected]>
Depending on the generated code of seL4_MessageInfo_new(), it may
or may not clobber r0/x0.

Perhaps only a problem for RELEASE=OFF builds, but it makes
debugging other problems harder by adding myserious crashes.

Signed-off-by: Indan Zupancic <[email protected]>
The function will return and crash because there is nothing to
return to and apparantly the sel4runtime doesn't implement a
soft landing.

Test still works with crashing processes and with debugging
disabled it's invisible. But very confusing when trying to
debug any kind of other problems and enabling debugging.

Signed-off-by: Indan Zupancic <[email protected]>
@lsf37 lsf37 self-assigned this Dec 2, 2024
@lsf37 lsf37 added the hw-test sel4bench hardware runs label Dec 2, 2024
Copy link
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No problems from my side. As long as they are seperate commits, I don't mind them in the same PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hw-test sel4bench hardware runs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants