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

smc: Add header for plat specfic smc calls #112

Merged
merged 2 commits into from
Jan 23, 2024
Merged

smc: Add header for plat specfic smc calls #112

merged 2 commits into from
Jan 23, 2024

Conversation

chrisguikema
Copy link
Contributor

Add an SMC header for the zynqmp platform. This allows the SMC capability to look nice in the configuration.

        vm0.allowed_smc_functions = [
            PM_GET_API_VERSION,
            PM_REQUEST_NODE,
            PM_RELEASE_NODE,
            PM_SET_REQUIREMENT,
            PM_INIT_FINALIZE,
            PM_FPGA_GET_STATUS,

@axel-h
Copy link
Member

axel-h commented Sep 27, 2023

This is needed by seL4/camkes-vm-examples#46

@axel-h axel-h mentioned this pull request Sep 27, 2023
Merged
@chrisguikema
Copy link
Contributor Author

This is needed by seL4/camkes-vm-examples#46

Correct. But the CI won't build for the zynqmp.

@chrisguikema
Copy link
Contributor Author

@axel-h Can this also be reviewed?

Furao and others added 2 commits January 23, 2024 09:16
@Furao @chrisguikema
smc: Add header for plat specfic smc calls
8bda034 
Signed-off-by: Robbie VanVossen <[email protected]>
@chrisguikema
vm_arm, zynqmp: add cmake option for petalinux
11afa72 
This commit adds a CMake option to allow the VM to be configured for
different Petalinux versions. Currently, 2021.1 is supported; however,
this will allow additional versions to be easily added to the project.

Signed-off-by: Chris Guikema <[email protected]>
axel-h
axel-h approved these changes Jan 23, 2024
View reviewed changes
Copy link
Member

@axel-h axel-h left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me

@chrisguikema
Copy link
Contributor Author

@abrandnewusername can this be merged so the ZCU102 can be officially supported upstream?

@lsf37 lsf37 merged commit c372ff4 into seL4:master Jan 23, 2024
12 checks passed
@chrisguikema chrisguikema deleted the zynqmp_smc_calls branch January 23, 2024 21:31
@axel-h axel-h mentioned this pull request Jan 31, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lsf37 lsf37 lsf37 approved these changes

@axel-h axel-h axel-h approved these changes

@kent-mcleod kent-mcleod Awaiting requested review from kent-mcleod

@abrandnewusername abrandnewusername Awaiting requested review from abrandnewusername

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@chrisguikema @axel-h @lsf37 @Furao