[GitHub] [incubator-nuttx] eenurkka opened a new pull request #5306: risc-v/mpfs: OpenSBI: utilize an index2id table

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

eenurkka opened a new pull request #5306:
URL: https://github.com/apache/incubator-nuttx/pull/5306


   Hart index to hart id table is used to track unused and used harts. This
   table is useful when configuring only some of the harts for OpenSBI use.
   Mpfs will always have the hart0 unused, so mark it with -1.
   
   Signed-off-by: Eero Nurkkala <ee...@offcode.fi>
   
   ## Summary
   
   Use the HART index to HART id table as seen in OpenSBI header /include/sbi/sbi_platform.h
   Mark mpfs hart0 as unused.
   
   ## Impact
   
   No impact
   
   ## Testing
   
   Polarfire Icicle Kit, NuttX on hart0 and hart1, while u-boot/Linux combo on hart3 and hart4.
   


-- 
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] acassis merged pull request #5306: risc-v/mpfs: OpenSBI: utilize an index2id table

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

acassis merged pull request #5306:
URL: https://github.com/apache/incubator-nuttx/pull/5306


   


-- 
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