Regarding the adaptation of BAO to the Rockchip platform

[opendvd]

I'm very joyful that you and your team can open source a wonderful hypervisor framework which named Bao. I have two questions I'd like to consult you on.

1. The first question is whether the current framework can be supported to the Rockchip platform.
2. The second question is, if it's not compatible with the ROCKCHIP platform, what additional work do we need to develop to make BAO compatible with Rockchip?

I'm delighted with your response. Thank you in advance.

[sandro2pinto]

Thank you for the feedback and kind words @opendvd.

1. Yes, for sure. We have som work with the 96Boards ROCK960. What target Rockchip platform you have in mind?
2. Depending on the exact target SoC / platform, but in general not much. Please provide more details on (1) and then @josecm and @DavidMCerdeira can provide more details.

Thanks

[opendvd]

Thank you for the feedback and kind words @opendvd.

1. Yes, for sure. We have som work with the 96Boards ROCK960. What target Rockchip platform you have in mind?
2. Depending on the exact target SoC / platform, but in general not much. Please provide more details on (1) and then @josecm and @DavidMCerdeira can provide more details.

Thanks

Thank you very much for your kind reply.
I'm sorry for not providing relevant details. Here are some details about Rockchip platform.

1. The Rockchip platform we used is RK3588 which is very similar to rk3399 (ROCK960). It's a quad-core Cortex-A76 + quad-core Cortex-A55 processor, with up to 2.38GHz frequency.
2. The interrupt controller of RK3588 utilizes GICv3.
3. The RK3588 we currently use boots the operating system from the EMMC device which has 32GB storage.

Looking forward to your reply. Thank you in advance.

[DavidMCerdeira]

Greetings,

The Rockchip platform we used is RK3588 which is very similar to rk3399 (ROCK960). It's a quad-core Cortex-A76 + quad-core Cortex-A55 processor, with up to 2.38GHz frequency.

This is good news as we have internally experimented with an rk3399 platform (ROCK960) and ported Bao to it a few years ago.

The interrupt controller of RK3588 utilizes GICv3.

Bao already has support for GICv3 so that will not be an issue.

The RK3588 we currently use boots the operating system from the EMMC device which has 32GB storage.

It may be necessary to study how to fit Bao into the platforms boot flow. Typically we use U-Boot and access the sdcard. We have succeed in booting Bao in other configurations, for example by adding bao as binary to U-Boot SPL fit image.

Here's a reply that addresses what typically needs to be done to add a new platform to Bao: #56 (comment).

Let me know if you have any questions.

[sandro2pinto]

@opendvd can you please share the exact reference of the development kit / platform (and not the Rockchip SoC) that you are targeting?

[opendvd]

I'm so sorry for the long delay in replying.
@DavidMCerdeira Thanks for your kind reply.
@sandro2pinto Our reference of the development kit / platform is: http://www.topeetboard.com/sydymfl/Product/iTOP-3588.html
More details about our kit are available on the website.