Skip to content

Conversation

@JDuchniewicz
Copy link
Contributor

@JDuchniewicz JDuchniewicz commented Dec 19, 2025

Wrong cmake_plat was specified resulting in creation of a wrong command for sel4test builds.

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.

This doesn't work, it would make the instructions equal between 32 and 64 bit. The instructions for ia32 are correct, they are what CI is using as well. The x64 one has a typo, it needs to be x86_64 instead.

pc99 works, but you get whatever the default is and would still have to set 32 or 64.

@lsf37
Copy link
Member

lsf37 commented Dec 20, 2025

Closing, since we merged #316

@lsf37 lsf37 closed this Dec 20, 2025
@JDuchniewicz
Copy link
Contributor Author

Yes, probably I was too eager to submit that when pc99 magically worked for my build and I assumed that it would be the proper solution.

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