Merge pull request #3 from ved-rivos/arch_rev1

sqosid csr num typo

sqosid.adoc

@@ -4,7 +4,7 @@
 The `srmcfg` register is an SXLEN-bit read/write register used to configure a
 Resource Control ID (`RCID`) and a Monitoring Counter ID (`MCID`). Both `RCID`
 and `MCID` are WARL fields. The register is formatted as shown in <<SRMCFG64>>
-when SXLEN=64 and <<SRMCFG32>> when SXLEN=32. The CSR number is 0x180.
+when SXLEN=64 and <<SRMCFG32>> when SXLEN=32. The CSR number is 0x181.
 
 The `RCID` and `MCID` accompany each request made by the hart to shared resource
 controllers. The `RCID` is used to determine the resource allocations