Processor provided in the Xilinx EDK in its version 8.1i, not supporting yet atomic operation as the SoCLib ISS has still to evolve