When working with the ports on the Linux-level, Pin Muxing are performed by MRAA library. In the case of the microcontroller it is necessary to take care with scripts...
MRAA Low Level Skeleton Library for IO Communication on GNU/Linux platforms
Configuring all 4 of the PWM pins
root@edison:~#vipinmuxpwm.sh#!/bin/bash# Configuring PWM pins# The Intel Edison SoC offers only four PWM pins.# Setup shield pins of arduino as a PWM output# the TRI_STATE_ALL signal is controlled by GPIO 214# Before setting up any muxing, set pin 214 (TRI_STATE_ALL) to HIGH, # make all of your changes, then set pin 214 to LOW.# all GPIO pin-mux must be set to 'mode1' to select PWM# Shield_Pin | Linux_GPIO | Output=High | Pullup_enable# IO3 12 251 219# IO5 13 253 221# IO6 182 254 222# IO9 183 257 225#Export the relevant pinsecho251>/sys/class/gpio/exportecho219>/sys/class/gpio/exportecho253>/sys/class/gpio/exportecho221>/sys/class/gpio/exportecho254>/sys/class/gpio/exportecho222>/sys/class/gpio/exportecho257>/sys/class/gpio/exportecho225>/sys/class/gpio/exportecho214>/sys/class/gpio/exportecho"Exports Done"# FIRST Shield_pinIO3echolow>/sys/class/gpio/gpio214/directionechohigh>/sys/class/gpio/gpio251/directionechoin>/sys/class/gpio/gpio219/directionechomode1>/sys/kernel/debug/gpio_debug/gpio12/current_pinmuxechohigh>/sys/class/gpio/gpio214/direction# SECOND Shield_pinIO5echolow>/sys/class/gpio/gpio214/directionechohigh>/sys/class/gpio/gpio253/directionechoin>/sys/class/gpio/gpio221/directionechomode1>/sys/kernel/debug/gpio_debug/gpio13/current_pinmuxechohigh>/sys/class/gpio/gpio214/direction# THIRD Shield_pinIO6echolow>/sys/class/gpio/gpio214/directionechohigh>/sys/class/gpio/gpio254/directionechoin>/sys/class/gpio/gpio222/directionechomode1>/sys/kernel/debug/gpio_debug/gpio182/current_pinmuxechohigh>/sys/class/gpio/gpio214/direction# FOURTH Shield_pinIO9echolow>/sys/class/gpio/gpio214/directionechohigh>/sys/class/gpio/gpio257/directionechoin>/sys/class/gpio/gpio225/directionechomode1>/sys/kernel/debug/gpio_debug/gpio183/current_pinmuxechohigh>/sys/class/gpio/gpio214/directionecho"PWM Pins Configured"
You should be able to use any of the PWM pins as output. For example pin IO6: