implement (shimmed) std::random

Author: max-niederman

library/std/src/sys/pal/vexos/mod.rs

@@ -1,4 +1,3 @@
-pub mod alloc;
 #[path = "../unsupported/args.rs"]
 pub mod args;
 pub mod env;
@@ -19,7 +18,6 @@ pub mod thread;
 pub mod time;
 
 use crate::arch::global_asm;
-use crate::hash::{DefaultHasher, Hasher};
 use crate::ptr::{self, addr_of_mut};
 use crate::time::{Duration, Instant};
 
@@ -55,11 +53,6 @@ pub unsafe extern "C" fn _start() -> ! {
 
     main();
 
-    unsafe {
-        crate::sys::thread_local::destructors::run();
-    }
-    crate::rt::thread_cleanup();
-
     abort_internal()
 }
 
@@ -127,17 +120,3 @@ pub fn abort_internal() -> ! {
         crate::hint::spin_loop()
     }
 }
-
-fn hash_time() -> u64 {
-    let mut hasher = DefaultHasher::new();
-    // The closest we can get to a random number is the time since program start
-    let time = unsafe { vex_sdk::vexSystemHighResTimeGet() };
-    hasher.write_u64(time);
-    hasher.finish()
-}
-
-pub fn hashmap_random_keys() -> (u64, u64) {
-    let key1 = hash_time();
-    let key2 = hash_time();
-    (key1, key2)
-}

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

@@ -73,6 +73,7 @@ cfg_if::cfg_if! {
     } else if #[cfg(any(
         all(target_family = "wasm", target_os = "unknown"),
         target_os = "xous",
+        target_os = "vexos",
     ))] {
         // FIXME: finally remove std support for wasm32-unknown-unknown
         // FIXME: add random data generation to xous
@@ -86,6 +87,7 @@ cfg_if::cfg_if! {
     target_os = "android",
     all(target_family = "wasm", target_os = "unknown"),
     target_os = "xous",
+    target_os = "vexos",
 )))]
 pub fn hashmap_random_keys() -> (u64, u64) {
     let mut buf = [0; 16];