On the order page for the Olimex SAM7-EX256 board is also a 6V DC 300ma power supply. I thought the documentation indicates that the power supply should either be a 6V AC power supply or 9V DC power supply, but not a 6V DC power supply. I bought the 6V DC Power Supply thinking it would work OK. It does light up the Red LED, but that doesn’t mean that the board will flash ok. Is this a proper power supply for this board?