Merge pull request #205 from japaric/heterogeneous

rtfm-syntax refactor + heterogeneous multi-core support

1 files changed, 32 insertions, 0 deletions

diff --git a/examples/t-binds.rs b/examples/t-binds.rs
new file mode 100644
index 0000000..dda8e20
--- /dev/null
+++ b/examples/t-binds.rs
@@ -0,0 +1,32 @@
+//! [compile-pass] Check that `binds` works as advertised
+
+#![deny(unsafe_code)]
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+
+use panic_halt as _;
+
+#[rtfm::app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    // Cortex-M exception
+    #[task(binds = SVCall)]
+    fn foo(c: foo::Context) {
+        foo_trampoline(c)
+    }
+
+    // LM3S6965 interrupt
+    #[task(binds = UART0)]
+    fn bar(c: bar::Context) {
+        bar_trampoline(c)
+    }
+};
+
+#[allow(dead_code)]
+fn foo_trampoline(_: foo::Context) {}
+
+#[allow(dead_code)]
+fn bar_trampoline(_: bar::Context) {}