The arduino library for HAL