Raspberry Pi port, piCore-15.0 is available!
There are hundreds of those, and none of them is specific to TC. Do you mean the link to be added there, or the full contents?
I added a link to both the PDF and a text file to the Boot options page.PS: The wiki is user-editable, so if you see something that could be better, feel free to fix it