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

platforms: add polarfire hardware build #328

Merged
merged 1 commit into from
Feb 1, 2024
Merged

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Feb 1, 2024

Ideally we'd also add simulation support, which first needs updates in the simulate.py script in seL4_tools. qemu seems to have support for it: https://www.qemu.org/docs/master/system/riscv/microchip-icicle-kit.html

I had a first go at that, but didn't get any output from qemu, so I'm leaving it out for now.

Adds one of the platforms listed in #282

@lsf37 lsf37 added the boards related to test boards and machines label Feb 1, 2024
@Ivan-Velickovic
Copy link
Contributor

seL4/seL4#1094 probably needs to be sorted out first before it will boot.

@Ivan-Velickovic Ivan-Velickovic merged commit f30c716 into master Feb 1, 2024
7 checks passed
@Ivan-Velickovic Ivan-Velickovic deleted the polarfire branch February 1, 2024 01:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
boards related to test boards and machines
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants