Arduino Core API module for ZephyrRTOS - View it on GitHub