ATtint24 Core Library for Arduino

This seemed to work for me:

  1. Download the arduino-tiny-0100-0012.zip file from the page I pointed to.
  2. Shut down the Arduino 1.0 IDE
  3. Un-zip the .zip file.
  4. Copy the "tiny" folder from the expanded zip file to Documents:Arduino:hardware
  5. Re-start the Arduino 1.0 IDE

Under Tools->Board I now have a whole pile of ATtiny choices including 8 MHz and 1 MHz ATtiny25.