fix allocation

Author: max-niederman

library/std/src/sys/alloc/mod.rs

@@ -90,5 +90,7 @@ cfg_if::cfg_if! {
         mod xous;
     } else if #[cfg(target_os = "zkvm")] {
         mod zkvm;
+    } else if #[cfg(target_os = "vexos")] {
+        mod vexos;
     }
 }

library/std/src/sys/pal/vexos/alloc.rs renamed to library/std/src/sys/alloc/vexos.rs

@@ -1,3 +1,6 @@
+// FIXME(static_mut_refs): Do not allow `static_mut_refs` lint
+#![allow(static_mut_refs)]
+
 use crate::alloc::{GlobalAlloc, Layout, System};
 use crate::ptr;
 use crate::sync::atomic::{AtomicBool, Ordering};