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

platforms: add RPi4 32-bit build #288

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

Conversation

axel-h
Copy link
Member

@axel-h axel-h commented Nov 14, 2023

See seL4/seL4#976

Is there anything else we would need for CI testing?

@axel-h axel-h requested a review from lsf37 as a code owner November 14, 2023 02:49
@Ivan-Velickovic
Copy link
Contributor

Someone needs to resolve seL4/util_libs#171 first.

@axel-h axel-h requested a review from kent-mcleod November 14, 2023 02:50
@Ivan-Velickovic
Copy link
Contributor

The RPi4 port seems to have been broken for a long time, I fixed most of the issues but seL4/util_libs#171 is still outstanding.

@axel-h axel-h force-pushed the patch-axel-4 branch 4 times, most recently from 7ea68d4 to 80e3107 Compare January 9, 2024 06:38
@axel-h axel-h force-pushed the patch-axel-4 branch 3 times, most recently from 3fa4cd4 to edc5b2a Compare January 12, 2024 13:09
@axel-h axel-h force-pushed the patch-axel-4 branch 3 times, most recently from fc204db to 51055c7 Compare January 26, 2024 13:17
@axel-h axel-h force-pushed the patch-axel-4 branch 8 times, most recently from 3ac8854 to f1c6a6e Compare January 31, 2024 22:49
@axel-h axel-h force-pushed the patch-axel-4 branch 2 times, most recently from e1d6449 to d3b6ca7 Compare February 6, 2024 18:05
@axel-h axel-h force-pushed the patch-axel-4 branch 3 times, most recently from a02ec85 to fcb2632 Compare March 3, 2024 17:56
@axel-h axel-h force-pushed the patch-axel-4 branch 3 times, most recently from 4257f92 to c37bf1a Compare April 12, 2024 11:32
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.

2 participants