Raspberry Pi port, piCore-15.0 is available!
If you take jed from tc-4.x ...... does it work in tc-10.x?