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