Skip to content
Snippets Groups Projects
Select Git revision
  • bdd804e99206505b57661c8f0c75c97757f64143
  • master default
2 results

HOME_EXAM.md

Blame
  • Forked from Per Lindgren / klee_tutorial
    Source project has a limited visibility.
    main.rs 3.07 KiB
    #![deny(unsafe_code)]
    #![deny(warnings)]
    #![no_std]
    #![no_main]
    
    // pick a panicking behavior// use panic_abort as _; // requires nightly
    // use panic_itm as _; // logs messages over ITM; requires ITM support
    // use panic_semihosting as _; // logs messages to the host stderr; requires a debugger
    
    
    use panic_halt as _; // you can put a breakpoint on `rust_begin_unwind` to catch panics
    use rtt_target::{rprintln, rtt_init_print};
    
    
    use cortex_m::peripheral::DWT;
    use stm32f4xx_hal::stm32;
    
    //use cortex_m::asm;
    //use cortex_m_rt::entry;
    
    use rtic::cyccnt::{Instant, U32Ext as _};
    
    
    #[rtic::app(device = stm32f4xx_hal::stm32, monotonic = rtic::cyccnt::CYCCNT, peripherals = true)]
    const APP: () = {
        struct Resources {
            // late resources
            GPIOA: stm32::GPIOA,
            GPIOC: stm32::GPIOC,
            //button: <stm32::GPIOC as int>::PC13,
        }
    
        #[init(schedule = [toggle])]
        fn init(cx: init::Context) -> init::LateResources {
            rtt_init_print!();
            rprintln!("init");
    
            for i in 0..11 {
                rprintln!("RTIC Says Hello, world {}!!", i);
            }
    
            let mut core = cx.core;
            let device = cx.device;
    
            
            // Initialize (enable) the monotonic timer (CYCCNT)
            core.DCB.enable_trace();
            // required on Cortex-M7 devices that software lock the DWT (e.g. STM32F7)
            DWT::unlock();
            core.DWT.enable_cycle_counter();
    
            // semantically, the monotonic timer is frozen at time "zero" during `init`
            // NOTE do *not* call `Instant::now` in this context; it will return a nonsense value
            let now = cx.start; // the start time of the system
    
            // Schedule `toggle` to run 8e6 cycles (clock cycles) in the future
            cx.schedule.toggle(now + 8_000_000.cycles()).unwrap();
    
            // power on GPIOA, RM0368 6.3.11
            device.RCC.ahb1enr.modify(|_, w| w.gpioaen().set_bit());
            // configure PA5 as output, RM0368 8.4.1
            device.GPIOA.moder.modify(|_, w| w.moder5().bits(1));
    
            // Test button thingy. Think I put PC13 to input
            device.GPIOC.moder.modify(|_, w| w.moder13().bits(0));
            // device.GPIOC.pupdr.modify(|_, w| w.pupdr13().bits(0));
            
            // pass on late resources
            init::LateResources {
                GPIOA: device.GPIOA,
                GPIOC: device.GPIOC,
                //button: device.button,
            }
        }
    
        
        #[idle]
        fn idle(_cx: idle::Context) -> ! {
            rprintln!("lets get lazy");
            loop {
                continue;
            }
        }
        
        
    
        #[task(resources = [GPIOA,GPIOC], schedule = [toggle])]
        fn toggle(cx: toggle::Context) {
            static mut TOGGLE: bool = false;
            rprintln!("toggle  @ {:?}", Instant::now());
    
            if *TOGGLE {
                cx.resources.GPIOA.bsrr.write(|w| w.bs5().set_bit());
            } else {
                cx.resources.GPIOA.bsrr.write(|w| w.br5().set_bit());
            }
    
            //cx.resources.GPIOC.PullDown;
    
            *TOGGLE = !*TOGGLE;
            cx.schedule
                .toggle(cx.scheduled + 16_000_000.cycles())
                .unwrap();
            
        }
    
        extern "C" {
            fn EXTI0();
        }
    };