Extended CAN driver for ESP32 using multiple MCP25xxx controllers over SPI. High-level multi-device MCP25xxx library for ESP-IDF with a stable public interface and a separate internal backend.