Manejar servo con ATTiny85

Hola.
Es mi primer mensaje en este foro. A ver si alguien me puede echar un cable.

Estoy intentando mover un servo con un micro ATTiny85.

Este micro lo programo directamente con un Arduino Uno por ISP siguiendo este tutorial:

El código que quiero pasar es muy simple:


#include <Servo.h>

Servo servo1;

int servoPin = 0;

void setup()
{
servo1.attach(servoPin);
}

void loop()
{
servo1.write(0);
delay (1000);
servo1.write(179);
delay (1000);
}


Basicamente es un servo que da un barido completo cada segundo.
El caso es que he podido programar el ATTiny85 desde el Arduino Uno muchas veces con otro código.
El problema me aparece al incluir la librería servo.
Al tratar de compilarlo me sale el siguiente mensaje de error:

ejemplo.cpp:3:21: error: Arduino.h: No such file or directory

¿Alguien puede decirme por que aparece este error?

Decir que este error me aparece al seleccionar como tarjeta ATtiny85 (w/Arduino as ISP). Si compilo usando como tarjeta Arduino Uno no me da error.
Gracias por adelantado.

Es un ATTiny y creo que no utiliza todos los archivos del 'core' de arduino, en la pagina que has puesto salen los comandos soportados por el ATTiny.

pinMode() digitalWrite() digitalRead() analogRead() analogWrite() shiftOut() pulseIn() millis() micros() delay() delayMicroseconds() SoftwareSerial (has been updated in Arduino 1.0)