Francisco Marques

Hi @josecm! I have tested these changes on [AlSaqr SoC](https://github.com/AlSaqr-platform/he-soc/tree/zdl/exp-path) (dual-core version), and everything went smoothly. It looks great to me!

Hello! Yes, we have done a similar configuration using Raspberry Pi OS (previously called Raspbian). The steps required should be quite similar if you are using a custom Linux image,...

The configuration is straightforward, and we highly recommend that you take a look at the configuration example provided in the Bao repository at https://github.com/bao-project/bao-hypervisor/blob/main/configs/example/config.c This should give you the basic...

Hi @wusnga8dn, I believe it would be better if you took a step back and understood the configuration file for bao's guests. Note that our demos exist to provide users...