I've been using GNuK on a $5 Blue Pill STM32F103 from ebay since 2017. When gNiibe -a DD- said "let's use 25519... I did. I have no plans to conform to complacency.