This is the API documentation for arec53-0.0.11 Documentation.