Espruino port for K210?

Espruino already has a port for RISKV architecture (link) anyone knows what it would take to extend this to Sipeed’s K210 family of boards?