2017-12-09 15:12:42 +01:00
|
|
|
#![deny(unsafe_code)]
|
2017-07-18 22:14:39 +02:00
|
|
|
#![deny(warnings)]
|
|
|
|
#![feature(const_fn)]
|
|
|
|
#![feature(proc_macro)]
|
2018-05-29 12:23:09 +02:00
|
|
|
#![feature(proc_macro_gen)]
|
2018-05-14 21:22:50 +02:00
|
|
|
#![no_main]
|
2017-07-24 03:51:58 +02:00
|
|
|
#![no_std]
|
2017-07-18 22:14:39 +02:00
|
|
|
|
|
|
|
extern crate cortex_m_rtfm as rtfm;
|
2018-05-07 17:46:26 +02:00
|
|
|
extern crate panic_itm;
|
2017-07-18 22:14:39 +02:00
|
|
|
extern crate stm32f103xx;
|
2018-05-01 14:01:51 +02:00
|
|
|
extern crate typenum;
|
2017-07-18 22:14:39 +02:00
|
|
|
|
2018-05-14 21:22:50 +02:00
|
|
|
use rtfm::{app, Priority};
|
2018-05-01 14:01:51 +02:00
|
|
|
use typenum::consts::U1;
|
2017-07-18 22:14:39 +02:00
|
|
|
|
2017-12-09 14:43:29 +01:00
|
|
|
app! { //~ error bound `*const (): core::marker::Send` is not satisfied
|
2017-07-18 22:14:39 +02:00
|
|
|
device: stm32f103xx,
|
|
|
|
|
|
|
|
resources: {
|
2018-05-14 21:22:50 +02:00
|
|
|
static TOKEN: Option<Priority<U1>> = None;
|
2017-07-18 22:14:39 +02:00
|
|
|
},
|
|
|
|
|
2017-07-28 04:30:24 +02:00
|
|
|
idle: {
|
|
|
|
resources: [TOKEN],
|
|
|
|
},
|
|
|
|
|
2017-07-18 22:14:39 +02:00
|
|
|
tasks: {
|
2018-05-01 14:01:51 +02:00
|
|
|
exti0: {
|
|
|
|
interrupt: EXTI0,
|
2017-07-18 22:14:39 +02:00
|
|
|
resources: [TOKEN],
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-14 21:22:50 +02:00
|
|
|
fn init(_ctxt: init::Context) -> init::LateResources {
|
|
|
|
init::LateResources {}
|
|
|
|
}
|
2017-07-18 22:14:39 +02:00
|
|
|
|
2018-05-01 14:01:51 +02:00
|
|
|
fn idle(_ctxt: idle::Context) -> ! {
|
2017-07-18 22:14:39 +02:00
|
|
|
loop {}
|
|
|
|
}
|
|
|
|
|
2018-05-01 14:01:51 +02:00
|
|
|
fn exti0(_ctxt: exti0::Context) {}
|