Jouni Ukkonen e268b23142 OpenSBI: Add configurable support for domain init ...

Initialize .domains_init function entry point in sbi_platform_operations when
CONFIG_OPENSBI_DOMAINS=y. In this case, the board specific code must provide
the "board_domains_init" function.

Signed-off-by: Jouni Ukkonen <jouni.ukkonen@unikie.com>

2022-07-22 19:00:33 +03:00

..

include

arch/risc-v: Move __XSTR, FLOAD/FSTORE and REGLOAD/REGSTORE to the right place

2022-07-04 13:25:56 +03:00

src

OpenSBI: Add configurable support for domain init

2022-07-22 19:00:33 +03:00

Kconfig

risc-v/esp32c3: Add support for Protected Mode

2022-05-18 11:43:52 +08:00