Arduino-makefile only supports avr, so nixduino will need a replacement for it. I am not sure if I will do this.