Import https://github.com/tock/libtock-rs at commit 828c19d into third_party/libtock-drivers/.

third_party/libtock-drivers/src/lib.rs

@@ -0,0 +1,25 @@
+#![cfg_attr(not(test), no_std)]
+
+pub mod adc;
+pub mod ble_composer;
+pub mod ble_parser;
+pub mod buttons;
+pub mod console;
+pub mod debug;
+pub mod drivers;
+pub mod electronics;
+pub mod executor;
+pub mod futures;
+pub mod gpio;
+pub mod hmac;
+pub mod leds;
+pub mod result;
+pub mod rng;
+pub mod sensors;
+pub mod simple_ble;
+pub mod temperature;
+pub mod timer;
+
+pub use drivers::retrieve_drivers;
+pub use libtock_codegen::main;
+pub use libtock_core::*;