Hi Wayne
Just pulled out the datasheet for the EB076
The datasheet shows the board supports the following displays - page 3
UOLED-320x
uLCD-32PT-SGC
I think the board has the uLCD-32PT-SGC fitted (From memory it shows the display type when you power it up)
It has a Picaso processor, again shown on page 3 of the Matrix EB076 datasheet.
(Not sure where Stuart has seen it uses a Goldelox Processor

)
Ive not tried programming it with the 4D workshop yet myself, but the pinouts (on the 5 pin programming header) are the same as the uLCD-32PTU which I also have and programs fine with the 4D programming lead.