Commits on Nov 8, 2023

1. Add Ssdtso extension …

   The Ssdtso extension adds a DTSO bit to the {m,s,h}envcfg
   registers to enable TSO. Since Spike is sequentially consistent
   it always operates TSO-compatible. Therefore, all we have to do
   is make Spike aware of the extension (reading and writing the
   {m,s,h}envcfg register already exists and we don't use the bit
   inside of Spike anywhere).
   
   For completeness, this patch also defines the {M,S,H}ENVCFG_DTSO
   mask macros, even if they are not used anywhere.
   
   Signed-off-by: Christoph Müllner <christoph.muellner@vrull.eu>

   

   cmuellner committed Nov 8, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for bbb06d9
   • Browse repository at this point

   Copy the full SHA

   bbb06d9 View commit details

   Browse the repository at this point in the history