Hello, the device database has a headline "List of ARM7/ARM9/Cortex Devices Available", and I often find "Cortex Family" But I see only Cortex M0,1,3,4 devices. Is or will there be support for Cortex A5? (Atmel SAMA5D3)? Thank you.