This is an old revision of the document!
The TI CC2531 is a MCS51 compatible SoC with an 802.15.4 compliant radio PHY.