search

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(guests/zephyr): update zephyr to version 3.5.0-rc1 #45

Closed yanjiew1 closed 10 months ago

yanjiew1 commented 11 months ago

This pull request updates zephyr to version 3.5.0-rc1.

In addition to version update for zephyr, also specify the commit for cmsis to avoid the build being broken by future updates of cmsis. This fixes #44.

This is also the prerequisite to support linux+zephyr on rpi4 (#34), as the soc, bcm2711, has been supported since that version.

josecm commented 10 months ago

@yanjiew1, thanks for this PR!

Unfortunately, there seems to be some issue with running the fvp-r (aarch64) platform, as Zephyr does not seem to boot. I'll try to look into this. Let me know if you have any clues...

yanjiew1 commented 10 months ago

I've force-pushed a new revision.

As the MPU regions can be specified in the device trees in the new version of zephyr, the configuration of the MPU region for I/O devices has been moved from the arm_mpu_regions.c to the device tree.

Thus, we need to add the MPU region for I/O devices in our customized device tree. In addition to the device region, also add a MPU region for bao ipc in the device tree.

I've confirmed that the demo linux+zephyr and zephyr+baremetal on fvp-r work now.

josecm commented 10 months ago

Great! I started debugging the issue but was not able to figure it out. Much better they have this flexibility in the device tree now.

I'm merging this. Thanks again for your contribution!