This article is from the comp.sys.acorn FAQ, by Paul Vigay with numerous contributions by others.
Yes. Three cards in total :-
Springboard ARM 2 processor, 4096k Memory, 8 MHz RAM, Brazil OS.
PC ARM development system Precursor to Springboard. Hardware functionally identical.
Ecolink An econet link card for the PC.
However, to the best of my knowledge none of these cards are commercially available.