raul@raul-vbox:~/or1k/mysoc$ fusesoc build spartan3a-dsp-kit
INFO:  Preparing mmuart
INFO:  Preparing mor1kx
INFO:  Preparing ram_wb
INFO:  Preparing uart16550
INFO:  Preparing uart16550_model
INFO:  Preparing vlog_tb_utils
INFO:  Preparing elf-loader
INFO:  Preparing verilator_tb_utils
INFO:  Preparing wb_bfm
INFO:  Preparing verilog-arbiter
INFO:  Preparing verilog_utils
INFO:  Preparing wb_intercon
INFO:  Preparing ads_vpi
INFO:  Preparing jtag_tap
INFO:  Preparing adv_debug_sys
INFO:  Preparing spartan3a-dsp-kit

ERROR:TclTasksC:project_028: Unknown property value "xc3sd1800a" specified for "PROP_DevDevice"
    while executing
"project set device xc3sd1800a"
    (file "/home/raul/or1k/mysoc/build/spartan3a-dsp-kit/bld-ise/spartan3a-dsp-kit.tcl" line 5)
ERROR: Failed to build FPGA: Failed to make FPGA load module
raul@raul-vbox:~/or1k/mysoc$