Pull in official Neotron OS 0.2.0 release.

Author: thejpster

README.md

@@ -61,7 +61,7 @@ We use the "neotron-os-pico.ld" linker script to link it at `0x1002_0000`.
 
 ```console
 user@host ~/neotron-os $ cargo build --bin=flash1002 --release --target=thumbv6m-none-eabi
-user@host ~/neotron-os $ arm-none-eabi-objcopy -O binary ./target/thumbv6m-none-eabi/release/flash1002 ../neotron-pico-bios/src/flash1002.bin
+user@host ~/neotron-os $ arm-none-eabi-objcopy -O binary ./target/thumbv6m-none-eabi/release/flash1002 ../neotron-pico-bios/src/thumbv6m-none-eabi-flash1002-libneotron_os.bin
 ```
 
 6. Build and load the Neotron BIOS, and view the debug output stream, with `cargo run --release`:

src/flash1002.bin

@@ -168,11 +168,14 @@ static HARDWARE: Mutex<core::cell::RefCell<Option<Hardware>>> =
 
 /// This is our Operating System. It must be compiled separately.
 ///
-/// The RP2040 requires an OS linked at `0x1002_0000`, which is the OS binary
-/// `flash1002`. Use `objdump` as per the README file to make a `flash1002.bin`.
+/// The RP2040 requires an OS linked at `0x1002_0000` and compiled for the
+/// `thumbv6m-none-eabi` target. You should therefore use the binary
+/// `thumbv6m-none-eabi-flash1002-libneotron_os.bin` from
+/// <https://github.com/Neotron-Compute/Neotron-OS/releases>
 #[link_section = ".flash_os"]
 #[used]
-pub static OS_IMAGE: [u8; include_bytes!("flash1002.bin").len()] = *include_bytes!("flash1002.bin");
+pub static OS_IMAGE: [u8; include_bytes!("thumbv6m-none-eabi-flash1002-libneotron_os.bin").len()] =
+	*include_bytes!("thumbv6m-none-eabi-flash1002-libneotron_os.bin");
 
 /// The table of API calls we provide the OS
 static API_CALLS: common::Api = common::Api {

src/main.rs

@@ -1,5 +1,6 @@
-This is Neotron OS version v0.1.0
-See https://github.com/neotron-compute/neotron-os
+This is Neotron OS version v0.2.0
+
+Taken from https://github.com/Neotron-Compute/Neotron-OS/releases/tag/v0.2.0
 
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -12,4 +13,4 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
-along with this program.  If not, see <https://www.gnu.org/licenses/>.
+along with this program.  If not, see <https://www.gnu.org/licenses/>.