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_minimal: add zcu102 support #46

Merged
merged 1 commit into from
Jan 24, 2024
Merged

Conversation

chrisguikema
Copy link
Contributor

@chrisguikema chrisguikema commented Sep 7, 2023

@axel-h
Copy link
Member

axel-h commented Sep 27, 2023

Changed "Test with:" form seL4/camkes-vm#111 to .../112

Since seL4/util_libs#169 and seL4/seL4#1102 have been closed, these should be removed also?

@chrisguikema
Copy link
Contributor Author

Yes. I removed the two closed PRs from the "Test with" list.

@chrisguikema
Copy link
Contributor Author

Can this get reviewed?

@axel-h
Copy link
Member

axel-h commented Oct 11, 2023

In general, the changes look ok to me. However, I can't test this in detail.

@chrisguikema chrisguikema force-pushed the zynqmp_support branch 2 times, most recently from e83b90e to 7fc7d7a Compare January 19, 2024 20:36
@chrisguikema chrisguikema force-pushed the zynqmp_support branch 3 times, most recently from adda808 to 53900a5 Compare January 19, 2024 21:38
@chrisguikema
Copy link
Contributor Author

@axel-h Can you review this PR now that the files have been merged into camkes-vm-images? I believe this is the last piece before the ZCU102 is fully supported in mainline.

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 after the camkes-vm PR so the ZCU102 can be officially supported upstream?

Copy link
Member

@lsf37 lsf37 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 from my side. Can you please also add the zcu102 to the list in the README?

@chrisguikema
Copy link
Contributor Author

Absolutely!

@chrisguikema
Copy link
Contributor Author

One sec - Testing locally and there's a problem with the DTB generation. I'll fix it quick

@chrisguikema
Copy link
Contributor Author

Alright, there were two problems:

  1. A dts is not a dtb :)
  2. The kernel device tree still uses the amba bus, while the 2021.1 device tree specifies the axi bus

But this works locally now, so it should be good to merge once I fixup the CI failure.

Signed-off-by: Chris Guikema <[email protected]>
@lsf37
Copy link
Member

lsf37 commented Jan 24, 2024

Ok, happy to merge this now, and then we'll see if we can switch on CI for it.

@lsf37 lsf37 merged commit 926def0 into seL4:master Jan 24, 2024
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants