How to create a 38 Khz pulse with arduino using timer or PWM?

Yes, but the library lets you send raw protocols (ie. a series of bits).

The low-level output might need tweaking for the Attiny, but the rest should be the same. You basically want to break your data down into X bits, and then send those bits, right?