1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
//! Blinks an LED
//!
//! ```
//!
//! #![feature(const_fn)]
//! #![feature(used)]
//! #![no_std]
//!
//! // version = "0.2.0"
//! extern crate cortex_m_rt;
//!
//! // version = "0.1.0"
//! #[macro_use]
//! extern crate cortex_m_rtfm as rtfm;
//!
//! extern crate f3;
//!
//! use f3::led::{self, LEDS};
//! use f3::stm32f30x::interrupt::Tim7;
//! use f3::stm32f30x;
//! use f3::timer::Timer;
//! use rtfm::{Local, P0, P1, T0, T1, TMax};
//!
//! // CONFIGURATION
//! const FREQUENCY: u32 = 1; // Hz
//!
//! // RESOURCES
//! peripherals!(stm32f30x, {
//! GPIOE: Peripheral {
//! register_block: Gpioe,
//! ceiling: C0,
//! },
//! RCC: Peripheral {
//! register_block: Rcc,
//! ceiling: C0,
//! },
//! TIM7: Peripheral {
//! register_block: Tim7,
//! ceiling: C1,
//! },
//! });
//!
//! // INITIALIZATION PHASE
//! fn init(ref priority: P0, threshold: &TMax) {
//! let gpioe = GPIOE.access(priority, threshold);
//! let rcc = RCC.access(priority, threshold);
//! let tim7 = TIM7.access(priority, threshold);
//! let timer = Timer(&tim7);
//!
//! // Configure the PEx pins as output pins
//! led::init(&gpioe, &rcc);
//!
//! // Configure TIM7 for periodic update events
//! timer.init(&rcc, FREQUENCY);
//!
//! // Start the timer
//! timer.resume();
//! }
//!
//! // IDLE LOOP
//! fn idle(_priority: P0, _threshold: T0) -> ! {
//! // Sleep
//! loop {
//! rtfm::wfi();
//! }
//! }
//!
//! // TASKS
//! tasks!(stm32f30x, {
//! periodic: Task {
//! interrupt: Tim7,
//! priority: P1,
//! enabled: true,
//! },
//! });
//!
//! fn periodic(mut task: Tim7, ref priority: P1, ref threshold: T1) {
//! // Task local data
//! static STATE: Local<bool, Tim7> = Local::new(false);
//!
//! let tim7 = TIM7.access(priority, threshold);
//! let timer = Timer(&tim7);
//!
//! if timer.clear_update_flag().is_ok() {
//! let state = STATE.borrow_mut(&mut task);
//!
//! *state = !*state;
//!
//! if *state {
//! LEDS[0].on();
//! } else {
//! LEDS[0].off();
//! }
//! } else {
//! // Only reachable through `rtfm::request(periodic)`
//! #[cfg(debug_assertion)]
//! unreachable!()
//! }
//! }
//! ```
// Auto-generated. Do not modify.