//! ESP32 embedded development library providing BLE, Wi-Fi, HTTP, GPS, LED,
//! button, and timer functionality for the ESP-IDF framework.
/// Bluetooth Low Energy advertising and scanning.
/// Physical button input handling with polling-based debounce.
/// Hardware timer management and interrupt configuration.
/// RGB color representation and predefined color constants.
/// GPS sensor reading via UART and NMEA parsing.
/// HTTP client for sending requests over Wi-Fi.
/// Core infrastructure traits and types: [`infra::Poller`], [`infra::Switch`], and [`infra::State`].
/// `NeoPixel` LED control via the RMT peripheral.
/// Inter-thread messaging with triggers, notifiers, and dispatchers.
/// Thread spawning with automatic device restart on failure.
/// Time utilities for sleeping and cooperative yielding.
/// Wi-Fi connection management and configuration.