Skip to content
Snippets Groups Projects
Select Git revision
  • b65b21266e9310bc9a77fd3e99a8aa3edfca1e0d
  • master default protected
  • klee
  • exam
  • exper
  • simple
  • v0.3.1
  • v0.3.0
  • v0.2.2
  • v0.2.1
  • v0.2.0
  • v0.1.1
  • v0.1.0
13 results

klee.py

Blame
  • Forked from KLEE / cortex-m-rtfm-klee
    Source project has a limited visibility.
    lib.rs 1.08 KiB
    //! Board Support Crate for the STM32F3DISCOVERY
    //!
    //! # Usage
    //!
    //! Follow `cortex-m-quickstart` [instructions][i] but remove the `memory.x`
    //! linker script and the `build.rs` build script file as part of the
    //! configuration of the quickstart crate. Additionally, uncomment the "if using
    //! ITM" block in the `.gdbinit` file.
    //!
    //! [i]: https://docs.rs/cortex-m-quickstart/0.2.0/cortex_m_quickstart/
    //!
    //! # Examples
    //!
    //! Check the [examples] module.
    //!
    //! [examples]: ./examples/index.html
    
    #![deny(missing_docs)]
    #![deny(warnings)]
    #![feature(const_fn)]
    #![feature(const_unsafe_cell_new)]
    #![feature(const_cell_new)]
    #![feature(get_type_id)]
    #![feature(never_type)]
    #![feature(unsize)]
    #![no_std]
    
    extern crate cast;
    extern crate embedded_hal as hal;
    extern crate nb;
    extern crate static_ref;
    
    pub extern crate stm32f40x;
    
    // For documentation only
    pub mod examples;
    
    pub mod dma;
    pub mod led;
    pub mod serial;
    pub mod timer;
    pub mod time;
    pub mod pwm;
    
    pub mod frequency;
    use frequency::*;
    
    pub use hal::prelude;
    pub use serial::Serial;
    pub use timer::{Channel, Timer};
    pub use pwm::Pwm;