In che senso ha aggiunto i Tiny nel Board.txt?
Il link al file .json va copiato così com'è nella finestra "Additional Board Manager URLs" che trovi in Preferences nel menù File (io uso la versione Inglese).
Una volta copiato il link confermi con OK e vai nel menù Tools (Strumenti), Board e infine in Boards Manager...
Si apre la finestra con l'elenco dei vari core disponibili per l'IDE. Se il link al Core tiny è stato inserito correttamente, scorrendo la lista, dovresti trovarlo elencato. a quel punto lo selezioni e premi su Install.
finito il processo chiudi la finestra.
Troni nel menù Tools e alla voce Boards trovi aggiunte tutti i microcontrollori della famiglia Tiny.
Per ogni famiglia di microcontrollore potrai poi selezionare sempre nelle voci del menù Tools: Chip, Clock, EEprom, LTO, BOD, ecc.