Zn 30 65.38 Vladimir Pouzanov 

rust 

embedded 

No content

No content

zinc 

why rust? 

fun 

embedded 

it's C and C++ all the way down 

useful features 

safe 

expressive 

still not 1.0 

metaprogramming 

a typical embedded program 

think arduino "hello world" in rust 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

pub  unsafe  fn  main()  {      init_stack();      init_data();      system_clock::init_clock(&Clock  {          source:  system_clock::Main(12000000),            pll:  Some(PLL0  {              m:  50,                n:  3,                divisor:  4          })      });      let  timer  =  Timer::new(Timer1,  25,  4);      let  led1  =  Pin::new(Port1,  18,  GPIO,  Some(Out));      let  led2  =  Pin::new(Port1,  20,  GPIO,  Some(Out));      loop  {          run(&pt::run_args  {              led1:  &led1,              led2:  &led2,              timer:  &timer          });      }   } 

fn  run(args:  &pt::run_args)  {      args.led1.set_high();      args.led2.set_low();      args.timer.wait(1);   !    args.led1.set_low();      args.led2.set_high();      args.timer.wait(1);   }   

fn  run(args:  &pt::run_args)  {      args.led1.set_high();      args.led2.set_low();      args.timer.wait(1);   !    args.led1.set_low();      args.led2.set_high();      args.timer.wait(1);   }   WHAT IF I SAY THIS IS THE ONLY CODE YOU NEED? 

platform definition and verification in code 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

   lpc17xx@mcu  {          clock  {              source  =  "main-­‐oscillator";              source_frequency  =  12_000_000;              pll  {  m  =  50;  n  =  3;  divisor  =  4;  }          }   !        timer  {              timer@1  {  counter  =  25;  divisor  =  4;  }          }   !        gpio  {              1  {                  led1@18  {  direction  =  "out";  }                  led2@20  {  direction  =  "out";  }              }          }      }   !    os  {          single_task  {              loop  =  "run";              args  {  timer  =  &timer;  led1  =  &led1;  led2  =  &led2;  }          }      } 

compile-time validation 

example: configure SPI pin 

No content

Pin::new(Port1,  11,  Function3,  Some(Out)); X 

spi_ck@11  {  function  =  "sck";  } 

spi_ck@11  {  function  =  "sck";  } 

hiding complexity from user 

single_task  {      loop  =  "run";          args  {              timer  =  &timer;              uart  =  &uart;              dht  =  &dht;          }      }   }   ! pub  struct  run_args<'a,  P,  Q>  {          pub  dht:  &'a  zinc::drivers::dht22::DHT22<'a,  P,  Q>,          pub  timer:  &'a  zinc::hal::lpc17xx::timer::Timer,          pub  uart:  &'a  zinc::hal::lpc17xx::uart::UART,   } 

#[zinc_task]   fn  run(args:  &pt::run_args)  {          ...   } 

#[zinc_task]   fn  run(args:  &pt::run_args)  {          ...   } 

fn  run(args:  &pt::run_args)  {        ...   } 

thanks! questions? http://vfp.in/zinc-london