[GitHub] [incubator-nuttx] jlaitine opened a new pull request, #6688: OpenSBI: Add configurable support for domain init

[GitBox <gi...@apache.org>]

jlaitine opened a new pull request, #6688:
URL: https://github.com/apache/incubator-nuttx/pull/6688

   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 <jo...@unikie.com>
   
   ## Summary
   
   This adds support for multiple opensbi domains for mpfs arch; the domain initialization must be done in a board-specific function.
   
   The domains are needed in order to run multiple operating systems in parallel using a single SBI library.
   
   ## Impact
   
   None for other than mpfs arch.
   
   ## Testing
   
   Tested by running 2 parallel OS:s in S-mode on Microchip Polarfire SOC FPGA platform
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [incubator-nuttx] pkarashchenko merged pull request #6688: OpenSBI: Add configurable support for domain init

[GitBox <gi...@apache.org>]

pkarashchenko merged PR #6688:
URL: https://github.com/apache/incubator-nuttx/pull/6688


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org