update PAL and add check-cfg override for target_os

Author: tropicaaal

Cargo.lock

@@ -4987,6 +4987,47 @@ version = "1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
 
+[[package]]
+name = "std"
+version = "0.0.0"
+dependencies = [
+ "addr2line 0.22.0",
+ "alloc",
+ "cfg-if",
+ "compiler_builtins",
+ "core",
+ "dlmalloc",
+ "fortanix-sgx-abi",
+ "hashbrown",
+ "hermit-abi 0.4.0",
+ "libc",
+ "miniz_oxide",
+ "object 0.36.0",
+ "panic_abort",
+ "panic_unwind",
+ "profiler_builtins",
+ "r-efi",
+ "r-efi-alloc",
+ "rand",
+ "rand_xorshift",
+ "rustc-demangle",
+ "std_detect",
+ "unwind",
+ "vex-sdk",
+ "wasi",
+]
+
+[[package]]
+name = "std_detect"
+version = "0.1.5"
+dependencies = [
+ "cfg-if",
+ "compiler_builtins",
+ "libc",
+ "rustc-std-workspace-alloc",
+ "rustc-std-workspace-core",
+]
+
 [[package]]
 name = "string_cache"
 version = "0.8.7"
@@ -5723,7 +5764,26 @@ checksum = "accd4ea62f7bb7a82fe23066fb0957d48ef677f6eeb8215f372f52e48bb32426"
 name = "version_check"
 version = "0.9.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
+checksum = "49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f"
+
+[[package]]
+name = "vex-sdk"
+version = "0.17.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f285bbc2b96fc4c7fae42ebe365dd2e9121e7002a58b1a9e0e4b1d14dba4d6d0"
+dependencies = [
+ "compiler_builtins",
+ "rustc-std-workspace-core",
+]
+
+[[package]]
+name = "wait-timeout"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9f200f5b12eb75f8c1ed65abd4b2db8a6e1b138a20de009dacee265a2498f3f6"
+dependencies = [
+ "libc",
+]
 
 [[package]]
 name = "walkdir"

library/panic_abort/Cargo.toml

@@ -19,3 +19,6 @@ compiler_builtins = "0.1.0"
 
 [target.'cfg(not(all(windows, target_env = "msvc")))'.dependencies]
 libc = { version = "0.2", default-features = false }
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(target_os, values("vexos"))'] }

library/std/Cargo.toml

@@ -155,4 +155,5 @@ check-cfg = [
     'cfg(feature, values(any()))',
     # #[cfg(bootstrap)] rtems
     'cfg(target_os, values("rtems"))',
+    'cfg(target_os, values("vexos"))',
 ]

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

@@ -340,7 +340,7 @@ impl File {
                 map_fresult(vex_sdk::vexFileSeek(self.fd.0, try_convert_offset(offset)?, SEEK_SET))?
             },
 
-            // vexOS does not allow seeking with negative offsets.
+            // VEXos does not allow seeking with negative offsets.
             // That means we need to calculate the offset from the start for both of these.
             SeekFrom::End(offset) => unsafe {
                 // If our offset is positive, everything is easy
@@ -430,7 +430,7 @@ impl Drop for File {
 pub fn readdir(_p: &Path) -> io::Result<ReadDir> {
     // While there *is* a userspace function for reading file directories,
     // the necessary implementation cannot currently be done cleanly, as
-    // vexOS does not expose directory length to user programs.
+    // VEXos does not expose directory length to user programs.
     //
     // This means that we would need to create a large fixed-length buffer
     // and hope that the folder's contents didn't exceed that buffer's length,
@@ -458,7 +458,7 @@ pub fn remove_dir_all(_path: &Path) -> io::Result<()> {
     unsupported()
 }
 
-pub fn try_exists(path: &Path) -> io::Result<bool> {
+pub fn exists(path: &Path) -> io::Result<bool> {
     let path = CString::new(path.as_os_str().as_encoded_bytes())
         .map_err(|_| io::Error::new(io::ErrorKind::InvalidData, "Path contained a null byte"))?;
 

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

@@ -16,8 +16,6 @@ pub mod process;
 pub mod stdio;
 #[path = "../unsupported/thread.rs"]
 pub mod thread;
-#[path = "../unsupported/thread_local_key.rs"]
-pub mod thread_local_key;
 pub mod time;
 
 use crate::{arch::asm, ptr::{self, addr_of_mut}};
@@ -37,7 +35,7 @@ pub unsafe extern "C" fn _start() -> ! {
     // Setup the stack
     asm!("ldr sp, =__stack_top", options(nostack));
 
-    // vexOS doesn't explicitly clean out .bss, so as a sanity
+    // VEXos doesn't explicitly clean out .bss, so as a sanity
     // check we'll fill it with zeroes.
     ptr::slice_from_raw_parts_mut(
         addr_of_mut!(__bss_start),