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

Add Quartz64 support #134

Merged
merged 3 commits into from
Nov 21, 2022
Merged

Add Quartz64 support #134

merged 3 commits into from
Nov 21, 2022

Conversation

housel
Copy link
Contributor

@housel housel commented Dec 27, 2021

This adds support for the Pine64 Quartz64 and other devices based on
the Rockchip RK3566. The elfloader-tool can be loaded via the EFI
support in U-Boot on this platform.

Test with: seL4/util_libs#117, seL4/seL4#727, seL4/sel4test#83

@axel-h axel-h requested a review from lsf37 December 30, 2021 16:41
This adds support for the Pine64 Quartz64 and other devices based on
the Rockchip RK3566. The elfloader-tool can be loaded via the EFI
support in U-Boot on this platform.

Signed-off-by: Peter S. Housel <[email protected]>
@lsf37 lsf37 self-assigned this Nov 11, 2022
@lsf37 lsf37 added the hw-build enable all sel4test hardware builds label Nov 11, 2022
@lsf37 lsf37 merged commit 074a54a into seL4:master Nov 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hw-build enable all sel4test hardware builds
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants