ATTINY 84 in Arduino IDE on a UDOO: Nothing shows up in "Programmer" section

I'm completely puzzled as I can't seem to install the newest version. I'm going to use my Windows 10 laptop via Serial now. I've found the URL of the UDOO device which wasn't that easy because all of the tutorials that pop up in Google use the manual install method from a few years ago.