Explore how to leverage Rust's Type System and Borrow Checker to create safe hardware abstractions in this RustConf 2018 talk. Delve into techniques for writing secure code when directly controlling memory-mapped peripherals using unsafe blocks. Learn how these methods shift most checks to compile-time, making them ideal for high-performance or resource-constrained systems. Discover the application of these techniques in Microcontroller systems as a crucial component of the embedded-hal ecosystem. Gain insights into achieving safety and efficiency in embedded systems programming using Rust's powerful features.