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.

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

Build and simulate sel4test for Microchip PolarFire Icicle Kit #281

Closed
Ivan-Velickovic opened this issue Aug 11, 2023 · 1 comment
Closed

Build and simulate sel4test for Microchip PolarFire Icicle Kit #281

Ivan-Velickovic opened this issue Aug 11, 2023 · 1 comment

Comments

@Ivan-Velickovic
Copy link
Contributor

This platform can be emulated by QEMU so in addition to at least ensuring that the kernel and sel4test builds for the platform, we can also simulate it.

However, we should not do simulation tests for MCS due to previous issues with the accuracy of QEMU's timer.
@Ivan-Velickovic
Copy link
Contributor Author

Ivan-Velickovic commented Aug 11, 2023 •
edited
Loading

Closing this since we can track all the missing platforms in CI in this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Ivan-Velickovic