aboutsummaryrefslogtreecommitdiff
path: root/examples/t-late-not-send.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2023-03-04 21:10:24 +0000
committerGitHub <noreply@github.com>2023-03-04 21:10:24 +0000
commit7c7d6558f6d9c50fbb4d2487c98c9a5be15f2f7b (patch)
tree80a47f0dc40059014e9448c4c2eb34c54dff45fe /examples/t-late-not-send.rs
parent1c5db277e4161470136dbd2a11e914ff1d383581 (diff)
parent98c5490d94950608d31cd5ad9dd260f2f853735c (diff)
Merge #694
694: RTIC 2 r=AfoHT a=korken89 Co-authored-by: Emil Fresk <emil.fresk@gmail.com> Co-authored-by: Per Lindgren <per.lindgren@ltu.se>
Diffstat (limited to 'examples/t-late-not-send.rs')
-rw-r--r--examples/t-late-not-send.rs48
1 files changed, 0 insertions, 48 deletions
diff --git a/examples/t-late-not-send.rs b/examples/t-late-not-send.rs
deleted file mode 100644
index 06aedaa..0000000
--- a/examples/t-late-not-send.rs
+++ /dev/null
@@ -1,48 +0,0 @@
-//! [compile-pass] shared resources don't need to be `Send` if they are owned by `idle`
-
-#![no_main]
-#![no_std]
-
-use core::marker::PhantomData;
-
-use panic_semihosting as _;
-
-pub struct NotSend {
- _0: PhantomData<*const ()>,
-}
-
-#[rtic::app(device = lm3s6965)]
-mod app {
- use super::NotSend;
- use core::marker::PhantomData;
- use cortex_m_semihosting::debug;
-
- #[shared]
- struct Shared {
- x: NotSend,
- y: Option<NotSend>,
- }
-
- #[local]
- struct Local {}
-
- #[init]
- fn init(_: init::Context) -> (Shared, Local, init::Monotonics) {
- (
- Shared {
- x: NotSend { _0: PhantomData },
- y: None,
- },
- Local {},
- init::Monotonics(),
- )
- }
-
- #[idle(shared = [x, y])]
- fn idle(_: idle::Context) -> ! {
- debug::exit(debug::EXIT_SUCCESS); // Exit QEMU simulator
- loop {
- cortex_m::asm::nop();
- }
- }
-}