misc: Merge branch 'release-staging-v23-1' into develop

Change-Id: I091b7788d67f1803ddb8f9c4f5661f1f24c3b594

src/arch/riscv/isa/decoder.isa

@@ -389,8 +389,10 @@ decode QUADRANT default Unknown::unknown() {
                 if (status.fs == FPUStatus::OFF)
                     return std::make_shared<IllegalInstFault>("FPU is off",
                                                                machInst);
+
                 status.fs = FPUStatus::DIRTY;
                 xc->setMiscReg(MISCREG_STATUS, status);
+
                 Fc1_bits = Mem;
             }}, {{
                 EA = rvZext(sp + offset);
@@ -418,8 +420,10 @@ decode QUADRANT default Unknown::unknown() {
                     if (status.fs == FPUStatus::OFF)
                         return std::make_shared<IllegalInstFault>("FPU is off",
                                                                    machInst);
+
                     status.fs = FPUStatus::DIRTY;
                     xc->setMiscReg(MISCREG_STATUS, status);
+
                     freg_t fd;
                     fd = freg(f32(Mem_uw));
                     Fd_bits = fd.v;

src/mem/port.hh

@@ -47,6 +47,7 @@
 #define __MEM_PORT_HH__
 
 #include <memory>
+#include <sstream>
 #include <stack>
 #include <string>
 

util/github-runners-vagrant/README.md

@@ -67,6 +67,26 @@ You can check the status of the runner here: https://github.com/organizations/{G
 
 If the runner ever shows as offline, you can rerun the `vagrant up --provider=libvirt` command to make sure everything is working properly.
 
+## Troubleshooting
+
+### The default libvirt disk image storage pool is on the wrong drive
+
+By default libvirt will store disk images in "/var/lib/libvirt/images".
+This is not ideal as it is on a small root partition.
+A solution to this is to change the default storage location.
+To do so, do the following:
+
+```sh
+virsh pool-list --all # Confirm here a "default" pool exist. We'll modify this.
+virsh pool-dumpxml default >default-pool.xml # We take a dump of the default then removed it.
+virsh pool-destroy default
+virsh pool-undefine default
+vim default-pool.xml # Change the image path to the desired path
+virsh pool-define default-pool.xml # From here we re-add the default.
+virsh pool-start default
+virsh pool-autostart default
+```
+
 ### Error: "Vagrant failed to initialize at a very early stage"
 
 W set the `VAGRANT_HOME` environment variable to the CWD.