book: resources shared with init must also be Send

examples/shared-with-init.rs

@@ -0,0 +1,38 @@
+//! `examples/shared-with-init.rs`
+
+#![deny(unsafe_code)]
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+
+extern crate panic_halt;
+
+use cortex_m_semihosting::debug;
+use lm3s6965::Interrupt;
+use rtfm::app;
+
+pub struct MustBeSend;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    static mut SHARED: Option<MustBeSend> = None;
+
+    #[init(resources = [SHARED])]
+    fn init() {
+        // this `message` will be sent to task `UART0`
+        let message = MustBeSend;
+        *resources.SHARED = Some(message);
+
+        rtfm::pend(Interrupt::UART0);
+    }
+
+    #[interrupt(resources = [SHARED])]
+    fn UART0() {
+        if let Some(message) = resources.SHARED.take() {
+            // `message` has been received
+            drop(message);
+
+            debug::exit(debug::EXIT_SUCCESS);
+        }
+    }
+};