[PATCH v2 11/12] platform: andes/ae350: Add AE350 domain support

[Anup Patel]

On Mon, Oct 3, 2022 at 5:24 PM Yu Chien Peter Lin
<peterlin at andestech.com> wrote:
>
> Add domains_init platform hook for Andes AE350, users can add domain
> description in device tree and select FDT domain support in Kconfig
> to achieve system-level partitioning.
>
> Signed-off-by: Yu Chien Peter Lin <peterlin at andestech.com>
> Reviewed-by: Leo Yu-Chi Liang <ycliang at andestech.com>

Looks good to me.

Reviewed-by: Anup Patel <anup at brainfault.org>

Regards,
Anup

> ---
>  platform/andes/ae350/platform.c | 13 +++++++++++--
>  1 file changed, 11 insertions(+), 2 deletions(-)
>
> diff --git a/platform/andes/ae350/platform.c b/platform/andes/ae350/platform.c
> index 30e4606..d36d11e 100644
> --- a/platform/andes/ae350/platform.c
> +++ b/platform/andes/ae350/platform.c
> @@ -19,13 +19,14 @@
>  #include <sbi/sbi_platform.h>
>  #include <sbi/sbi_string.h>
>  #include <sbi/sbi_trap.h>
> -#include <sbi_utils/fdt/fdt_helper.h>
> +#include <sbi_utils/fdt/fdt_domain.h>
>  #include <sbi_utils/fdt/fdt_fixup.h>
> +#include <sbi_utils/fdt/fdt_helper.h>
> +#include <sbi_utils/ipi/fdt_ipi.h>
>  #include <sbi_utils/irqchip/fdt_irqchip.h>
>  #include <sbi_utils/reset/fdt_reset.h>
>  #include <sbi_utils/serial/fdt_serial.h>
>  #include <sbi_utils/timer/fdt_timer.h>
> -#include <sbi_utils/ipi/fdt_ipi.h>
>  #include "platform.h"
>  #include "cache.h"
>
> @@ -84,6 +85,7 @@ static int ae350_final_init(bool cold_boot)
>
>         fdt = fdt_get_address();
>         fdt_fixups(fdt);
> +       fdt_domain_fixup(fdt);
>
>         return 0;
>  }
> @@ -132,10 +134,17 @@ static int ae350_vendor_ext_provider(long extid, long funcid,
>         return ret;
>  }
>
> +static int ae350_domains_init(void)
> +{
> +       return fdt_domains_populate(fdt_get_address());
> +}
> +
>  /* Platform descriptor. */
>  const struct sbi_platform_operations platform_ops = {
>         .final_init = ae350_final_init,
>
> +       .domains_init = ae350_domains_init,
> +
>         .console_init = fdt_serial_init,
>
>         .irqchip_init = fdt_irqchip_init,
> --
> 2.34.1
>
>
> --
> opensbi mailing list
> opensbi at lists.infradead.org
> http://lists.infradead.org/mailman/listinfo/opensbi