Hi, Does somebody work on support of Samsung S5PC1xx and/or S5PV210 SoC? I'm just trying to port Barebox to Mini210/Tiny210 boards from FrinedlyArm. Regards, Alex