Specifications

Shield pin configuration
# echo in > /sys/class/gpio/gpio228/direction
# echo in > /sys/class/gpio/gpio229/direction
# echo mode1 > /sys/kernel/debug/gpio_debug/gpio111/current_pinmux
# echo mode1 > /sys/kernel/debug/gpio_debug/gpio115/current_pinmux
# echo mode1 > /sys/kernel/debug/gpio_debug/gpio114/current_pinmux
# echo mode1 > /sys/kernel/debug/gpio_debug/gpio109/current_pinmux
# echo low > /sys/class/gpio/gpio214/direction
You should be able to use IO10 through IO13 for SPI connectivity.
§
Intel® Edison Kit for Arduino*
Hardware Guide December 2014
32 Document Number: 331191-004