projects / platform / kernel / opensbi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed88a63) | patch
lib: sbi: Fix how to check whether the domain contains fw_region
authorXiang W <wxjstz@126.com>
Thu, 16 Mar 2023 12:11:11 +0000 (20:11 +0800)
committerAnup Patel <anup@brainfault.org>
Thu, 6 Apr 2023 10:44:35 +0000 (16:14 +0530)
commit73ab11dfb0bfaa2f7792cf10804c04c157dc2291
treec375a74c8c1d783f8523ec1ec9f8df1a238614f9tree | snapshot
parented88a63b90249c570c7f1f123e979f6f5faf657acommit | diff
lib: sbi: Fix how to check whether the domain contains fw_region

Because firmware is split into rw/rx segments, it cannot be recorded
by a root_fw_region. This problem is solved by adding a flag
fw_region_inited to sbi_domain.

Signed-off-by: Xiang W <wxjstz@126.com>
Reviewed-by: Himanshu Chauhan <hchauhan@ventanamicro.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
include/sbi/sbi_domain.h diff | blob | history
lib/sbi/sbi_domain.c diff | blob | history
lib/utils/fdt/fdt_domain.c diff | blob | history
Domain: System / Kernel;