esp32/lib.rs
// Licensed under the Apache License, Version 2.0 or the MIT License.
// SPDX-License-Identifier: Apache-2.0 OR MIT
// Copyright Tock Contributors 2022.
//! Drivers and chip support for Espressif ESP32 boards.
#![no_std]
#![crate_name = "esp32"]
#![crate_type = "rlib"]
pub mod gpio;
pub mod rtc_cntl;
pub mod timg;
pub mod uart;