Re: [I] MPFS Icicle Kit knsh config failure [nuttx]

["sastel (via GitHub)" <gi...@apache.org>]

sastel commented on issue #12259:
URL: https://github.com/apache/nuttx/issues/12259#issuecomment-2088424776

   @pussuw to summarize what you are saying, we have to set up the HSS OpenSBI memory areas and access rights in a way that match/support the NuttX knsh config. Did I get that right?
   
   @MainframeReboot I'm pretty sure the PMP configuration is done through Microchip's MSS Configurator tool, which generates an .xml file. The HSS makefile runs this .xml file through a Python script to generate a bunch of header/source files for the HSS build. This config is what the HSS applies to the MSS during boot.
   
   You can see here that the sample .xml for the Icicle kit has config for PMP [ICICLE_MSS_mss_cfg.xml#L797-L800:](https://github.com/polarfire-soc/hart-software-services/blob/29e88d4b8acfc5bcc5d0a8e930393aee0d1f6915/boards/mpfs-icicle-kit-es/soc_fpga_design/xml/ICICLE_MSS_mss_cfg.xml#L797-L800)
   ```          
               <register address="0x00000016" description="pmp setup register, 64 bits" name="MPU_CFG_PMP2">
               <field Type="RW" name="PMP" offset="0" width="38">0xFFFFFFFFF</field>
               <field Type="RW" name="RESERVED" offset="38" width="18">0x0</field>
               <field Type="RW" name="MODE" offset="56" width="8">0x1F</field>
   ```
   
   Here are some resources on OpenSBI.
   https://www.thegoodpenguin.co.uk/blog/an-overview-of-opensbi/
   https://riscv.org/wp-content/uploads/2019/12/Summit_bootflow.pdf


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