Update zephyr to 3.5.0-rc1 and add support for linux+zephyr on rpi4

bao-project / bao-demos

A guide on how to build and use a set of Bao guest configurations for various platforms

Other

33 stars 37 forks source link

Update zephyr to 3.5.0-rc1 and add support for linux+zephyr on rpi4 #46

Closed yanjiew1 closed 10 months ago

yanjiew1 commented 11 months ago

The pull request updates zephyr to version 3.5.0-rc1, which supports the soc, bcm2711, and rpi4 board. This is the prerequisite for supporting linux+zephyr on rpi4.

In addition to the update of zephyr, also add support for linux+zephyr on rpi4 in another commit.

This PR already contains the changes in the PR #45.

Closes #39 Closes #44

ESCristiano commented 10 months ago

I successfully replicated the setup, and everything is working as expected:

[x] Bao boots correctly
[x] Zephyr is running
[x] Linux is running

josecm commented 10 months ago

Thanks for testing this @ESCristiano!

@yanjiew1 I'll merge this after the issue with #45 is solved.

josecm commented 10 months ago

Thanks again @yanjiew1!