Arduino ide boards

Where do i find ATtiny85 boards for the Arduino ide?
Can anybody tell me please?

Thanks, Gerrit.

You could use ATTinyCore or Digistump. There are more, just a selection.

A quick Google would have found them as well...