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

vm_arm: remove deprecated config options #96

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

axel-h
Copy link
Member

@axel-h axel-h commented May 7, 2023

Test with: axel-h/camkes-vm-examples#9

waiting for a rebase of: seL4/camkes-vm-examples#31

@axel-h axel-h added the hw-test camkes-vm-examples hardware builds + runs for this PR label May 7, 2023
@axel-h axel-h force-pushed the patch-axel-23 branch 3 times, most recently from 14560d1 to b275e98 Compare May 25, 2023 12:03
@axel-h axel-h force-pushed the patch-axel-23 branch 5 times, most recently from 99798ba to add2aad Compare January 25, 2024 15:21
@axel-h axel-h marked this pull request as draft January 27, 2024 16:50
@axel-h
Copy link
Member Author

axel-h commented Jan 27, 2024

This produces some strange errors with x86 at the moment because of the dependency on seL4/camkes-vm-examples#31, which needs to be rebased to things work again.

@axel-h axel-h added hw-test camkes-vm-examples hardware builds + runs for this PR and removed hw-test camkes-vm-examples hardware builds + runs for this PR labels Jan 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hw-test camkes-vm-examples hardware builds + runs for this PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant