I saw a video on YouTube about programming ATTiny85 chips (or, indeed Atmel chips in general, including the Arduino]s chip) using avr-gcc and avrdude on a Pi.
Another popular way of programming ATTiny85 chips is to use an Arduino and its IDE as an ISP.
The Arduino IDE seems more capable than avr-gcc in the scope of its libraries, even for ATTiny85 chips.
This got me to thinking: is there a way of using the Arduino IDE to compile code for ATTiny85 code, and then using avrdude to transfer it onto the chip using a Pi and GPIO pins, eliminating the Arduino entirely.
I've never heard of anyone exploring this idea, but it seems tantalizingly possible.