Skip to content

Add Banana Pi BPI-F3#310

Merged
Indanz merged 2 commits intoseL4:masterfrom
akifejaz:master
Nov 27, 2025
Merged

Add Banana Pi BPI-F3#310
Indanz merged 2 commits intoseL4:masterfrom
akifejaz:master

Conversation

@akifejaz
Copy link
Contributor

No description provided.

Signed-off-by: Akif Ejaz <akifejaz40@gmail.com>
Signed-off-by: Akif Ejaz <akifejaz40@gmail.com>
@akifejaz
Copy link
Contributor Author

This is ready now I believe.

Copy link
Contributor

@Indanz Indanz left a comment

Choose a reason for hiding this comment

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

Have you tried running the example executions yourself?

@akifejaz
Copy link
Contributor Author

Have you tried running the example executions yourself?

yes! I was using the TFTP more but the other also works fine so added that too.

@Indanz
Copy link
Contributor

Indanz commented Nov 27, 2025

Great to hear, thanks! I was just curious if it all actually worked or not, or that people just copied and pasted the wrong info or something.

@Indanz Indanz merged commit a37ab03 into seL4:master Nov 27, 2025
9 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.

2 participants

Comments