adjust wording and fix typos in target documentation

Author: Tropix126

library/Cargo.lock

@@ -333,6 +333,7 @@ dependencies = [
  "rustc-demangle",
  "std_detect",
  "unwind",
+ "vex-sdk",
  "wasi",
  "windows-targets 0.0.0",
 ]
@@ -401,6 +402,16 @@ dependencies = [
  "rustc-std-workspace-core",
 ]
 
+[[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 = "wasi"
 version = "0.11.0+wasi-snapshot-preview1"

library/panic_abort/Cargo.toml

@@ -19,3 +19,7 @@ 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

@@ -143,6 +143,7 @@ level = "warn"
 check-cfg = [
     'cfg(bootstrap)',
     'cfg(target_arch, values("xtensa"))',
+    'cfg(target_os, values("vexos"))',
     # std use #[path] imports to portable-simd `std_float` crate
     # and to the `backtrace` crate which messes-up with Cargo list
     # of declared features, we therefor expect any feature cfg

src/doc/rustc/src/platform-support/armv7a-vex-v5.md

@@ -5,7 +5,7 @@
 
 Allows compiling user programs for the [VEX V5 Brain](https://www.vexrobotics.com/276-4810.html), a microcontroller for educational and competitive robotics.
 
-Rust support for this target is not affiliated with VEX Robotics or IFI, and is not derived from nor used with any official VEX SDK.
+Rust support for this target is not affiliated with VEX Robotics or IFI.
 
 ## Target maintainers
 
@@ -29,7 +29,7 @@ This target generates binaries in the ELF format that may uploaded to the brain
 
 ## Building the target
 
-Rust does not ship pre-compiled artifacts for this target. You can use `build-std` feature to build ELF binaries with `std` support.
+Rust does not ship pre-compiled artifacts for this target. You can use the `build-std` feature to build ELF binaries with `std` support.
 
 `.cargo/config.toml`:
 
@@ -44,9 +44,9 @@ build-std-features = ["compiler-builtins-mem"]
 
 ## Building Rust programs
 
-The recommended way to build artifacts that can be installed and run on V5 Brain is by using the [cargo-v5](https://github.com/vexide/cargo-v5) tool. This tool wraps the `cargo build` command by supplying arguments necessary to build the target, while also providing uploading functionality.
+The recommended way to build artifacts that run on V5 Brain is by using the [cargo-v5](https://github.com/vexide/cargo-v5) tool. This tool wraps the `cargo build` command by supplying arguments necessary to build the target, while also providing functionality for uploading over USB to a V5 Controller or Brain.
 
-To install the tool run:
+To install the tool, run:
 
 ```sh
 cargo install cargo-v5
@@ -70,15 +70,15 @@ To build an uploadable BIN file using the release profile, run:
 cargo v5 build --release
 ```
 
-Programs can also be directly uploaded to the brain over a USB connection after building:
+Programs can also be directly uploaded to the brain over a USB connection immediately after building:
 
 ```sh
 cargo v5 upload --release
 ```
 
 ## Testing
 
-Binaries built for this target can be run in an emulator (such as [vex-v5-qemu](https://github.com/vexide/vex-v5-qemu)), or uploaded to a device over a USB or bluetooth connection.
+Binaries built for this target can be run in an emulator (such as [vex-v5-qemu](https://github.com/vexide/vex-v5-qemu)), or uploaded to a physical device over a serial (USB) connection.
 
 The default Rust test runner is not supported.