From 81275bfa4f41e2066770087f3a33cad4227eab41 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 13 Jun 2019 23:56:59 +0200
Subject: rtfm-syntax refactor + heterogeneous multi-core support

---
 ui/single/task-priority-too-high.rs | 38 +++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 ui/single/task-priority-too-high.rs

(limited to 'ui/single/task-priority-too-high.rs')

diff --git a/ui/single/task-priority-too-high.rs b/ui/single/task-priority-too-high.rs
new file mode 100644
index 0000000..c7c9dc9
--- /dev/null
+++ b/ui/single/task-priority-too-high.rs
@@ -0,0 +1,38 @@
+#![no_main]
+
+use rtfm::app;
+
+#[rtfm::app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    #[interrupt(priority = 1)]
+    fn GPIOA(_: GPIOA::Context) {}
+
+    #[interrupt(priority = 2)]
+    fn GPIOB(_: GPIOB::Context) {}
+
+    #[interrupt(priority = 3)]
+    fn GPIOC(_: GPIOC::Context) {}
+
+    #[interrupt(priority = 4)]
+    fn GPIOD(_: GPIOD::Context) {}
+
+    #[interrupt(priority = 5)]
+    fn GPIOE(_: GPIOE::Context) {}
+
+    #[interrupt(priority = 6)]
+    fn UART0(_: UART0::Context) {}
+
+    #[interrupt(priority = 7)]
+    fn UART1(_: UART1::Context) {}
+
+    // OK, this is the maximum priority supported by the device
+    #[interrupt(priority = 8)]
+    fn SSI0(_: SSI0::Context) {}
+
+    // this value is too high!
+    #[interrupt(priority = 9)]
+    fn I2C0(_: I2C0::Context) {}
+};
-- 
cgit v1.2.3