Pinoccio is supposed to be kind or Arduino compatible. There are lot's of software and libraries for using with Arduino. However, many of them assume that yo are actually using a Arduino board, with its pinout.
For trivial things, like turning a LED on or even using PWM to drive a LED, we can easily map from "use Arduino digital pins 2 through 8" to "use Pinoccio digital pins D2 through D8".
1) But, how does ports with special things like timer0, timer1, and other fancy stuff map?
2) Can I use a program/library written for Arduino that uses things like timers, SPI, etc with Pinoccio? What would I need to change? What pins are equal to what other pins on the other board? For instance (just one example): in Arduino, pins 10,11,12 and 13 are used by the SPI library. Would that library work with Pinoccio (if I write digitalWrite(10) does it gets mapped to the SS pin on Pinoccio? If not, what would I have to use)?
Here are the layouts:
Arduino Duemilanove and Pinoccio