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

adjust sel4bench parameters for hifive #203

Closed
lsf37 opened this issue Mar 16, 2022 · 0 comments · Fixed by #215
Closed

adjust sel4bench parameters for hifive #203

lsf37 opened this issue Mar 16, 2022 · 0 comments · Fixed by #215
Assignees
@lsf37
Labels
benchmarking sel4bench and related actions

Comments

@lsf37
Copy link
Member

lsf37 commented Mar 16, 2022

See discussion in seL4/sel4bench#20

-DHARDWARE=TRUE -DFAULT=TRUE should be removed for HiFive from the Performance webpage as well as the CI parameters.
@lsf37 lsf37 added the benchmarking sel4bench and related actions label Mar 16, 2022
@lsf37 lsf37 self-assigned this Mar 16, 2022
lsf37 added a commit that referenced this issue Jul 7, 2022
@lsf37
sel4bench: remove HARDWARE and FAULT for hifive
e4710f9 
See #203 and seL4/sel4bench#20 for background.

Signed-off-by: Gerwin Klein <[email protected]>
@lsf37 lsf37 mentioned this issue Jul 7, 2022
Merged
@lsf37 lsf37 linked a pull request Jul 7, 2022 that will close this issue
sel4bench: remove HARDWARE and FAULT for hifive #215
Merged
lsf37 added a commit that referenced this issue Jul 11, 2022
@lsf37
sel4bench: remove HARDWARE and FAULT for hifive
d4768f4 
See #203 and seL4/sel4bench#20 for background.

Signed-off-by: Gerwin Klein <[email protected]>
lsf37 added a commit that referenced this issue Jul 11, 2022
@lsf37
sel4bench: remove HARDWARE and FAULT for hifive
761ee54 
See #203 and seL4/sel4bench#20 for background.

Signed-off-by: Gerwin Klein <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lsf37 lsf37

Labels
benchmarking sel4bench and related actions
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

sel4bench: remove HARDWARE and FAULT for hifive seL4/ci-actions
1 participant
@lsf37