RTX51 Real-Time Kernel Discontinued
Home Products Events Support	Search Keil.com for:

Real-Time OS/Kernels

ARM OS/Kernels

RL-ARM Real-Time Library

C166 OS/Kernels

C51 OS/Kernels

Supported Devices
For the RTX51 Real-Time Kernel

Use the Parametric Search to find microcontrollers that meet specific criteria.
Use the Device Database Problem Report to report a device that is not listed.

Acer Labs (8051 Family)
M6759
Aeroflex UTMC (8051 Family)
UT69RH051
Atmel (8051 Family)
80C32E, AT83/87C5111, AT83/87C5112, AT87F51, AT87F51RC, AT87F52, AT89C51, AT89C51CC03, AT89C51ED2, AT89C51ID2, AT89C51RC, AT89C51RD2, AT89C52, AT89C55, AT89F51, AT89F52, AT89LS51, AT89LS52, AT89LS53, AT89LS8252, AT89LV51, AT89LV52, AT89LV55, AT89S51, AT89S52, AT89S53, AT89S8252, T80C31, T80C31X2, T80C32, T80C51, T80C51I2, T80C51RA2, T80C51RD2, T80C51U2, T83/87C51RB2, T83/87C51RC2, T83/87C51RD2, T83/87C51U2, T83/87C52X2, T87C51, T89C51AC2, T89C51CC01, T89C51CC02, T89C51RB2, T89C51RC2, T89C51RD2, TS80C52X2, TS80C54X2, TS80C58X2
CAST, Inc. (8051 Family)
C8051 Core, D80530 Core, R8051 Core, R80515 Core
Chipcon (8051 Family)
CC1010
Dallas Semiconductor (8051 Family)
DS2250, DS2250T, DS2251T, DS2252T, DS5000, DS5000FP, DS5000T, DS5001FP, DS5002FP, DS80C310, DS80C320, DS80C323, DS87C520/DS83C520, DS87C530, DS87C550, DS89C420, DS89C430, DS89C440, DS89C450
Digital Core Design (8051 Family)
DP8051, DP8051CPU, DP8051XP, DR80390, DR80390CPU, DR80390XP, DR8051, DR8051CPU, DR8051XP
Hynix Semiconductor (8051 Family)
GMS90C31, GMS90C32, GMS90C320, GMS90C51, GMS90C52, GMS90C54, GMS90C56, GMS90C58, GMS90L31, GMS90L32, GMS90L320, GMS90L51, GMS90L52, GMS90L54, GMS90L56, GMS90L58, GMS97C51, GMS97C51H, GMS97C52, GMS97C52H, GMS97C54, GMS97C54H, GMS97C56, GMS97C56H, GMS97C58, GMS97C58H, GMS97L51, GMS97L52, GMS97L54, GMS97L56, GMS97L58
Infineon (8051 Family)
C501, C501G-1R / -E, C501G-L, C504-2R /-2E, C504-L, C505-2R, C505-L, C505A-4E, C505C-2R, C505C-L, C505CA-4E, C505L-4E, C508, C509-L, C511-R, C511A-R, C513-R, C513A--2R, C513A--L, C513A--R, C515-1R, C515-L, C515A-4R, C515A-L, C515C-8R / -8E, C515C-L, C517A-4R, C517A-L, C540U-E, C541U-2E, SAB 80C515, SAB 80C515A, SAB 80C517, SAB 80C517A, SAB 80C535, SAB 80C537, SAB 83C515A-5, SAB 83C517A-5
InnovASIC (8051 Family)
IA80C152
Intel (8051 Family)
80/87C52, 80/87C54, 80/87C58, 80/87L52, 80/87L54, 80/87L58, 8031AH, 8032AH, 8051AH, 8052AH, 80C152JA, 80C152JB, 80C152JC, 80C152JD, 80C31BH, 80C32, 80C51BH, 80C51FA, 80C51GB, 80L51FA, 83/87C51FA, 83/87C51FB, 83/87C51FC, 83/87C51GB, 83/87C51RA, 83/87C51RB, 83/87C51RC, 83/87L51FA, 83/87L51FB, 83/87L51FC, 83C152JA, 83C152JC, 87C51
ISSI (8051 Family)
IS80C31, IS80C32, IS80C51, IS80C52, IS80LV31, IS80LV32, IS80LV51, IS80LV52, IS89C51, IS89C52
Maxim (8051 Family)
MAX7651, MAX7652
Nuvoton (8051 Family)
W77C512, W77C516, W77C58, W77E468, W77E516, W77E532, W77E58, W77IC32, W77IE58, W77L32, W77LE58, W77x32, W78C32B, W78C32C, W78C33B, W78C354, W78C438C, W78C516, W78C51D, W78C52D, W78C54, W78C58, W78C801, W78E/78C378, W78E354, W78E374, W78E374B, W78E516B, W78E51B, W78E52B, W78E54B, W78E58, W78E58B, W78E65, W78E858, W78IE52, W78IE54, W78L32, W78L33, W78L51, W78L52, W78L54, W78L801, W78LE51, W78LE516, W78LE52, W78LE54, W78LE58, W78LE812, W78x374, W79E532, W79E548, W79E549, W79E632, W79E648, W79E649, W925E240, W925E625
NXP (founded by Philips) (8051 Family)
80/87C51, 80/87C52, 80C31, 80C31X2, 80C32, 80C32X2, 80C51FA, 80C51RA+, 80C528, 80C550, 80C552, 80C554, 80C575, 80C652, 83/87C451, 83/87C528, 83/87C550, 83/87C552, 83/87C554, 83/87C575, 83/87C652, 83/87C654, 8XC51FA/8xL51FA, 8XC51FB/8xL51FB, 8xC51FC/8xL51FC, 8xC51RA+, 8xC51RB+, 8xC51RC+, 8xC51RD+, 8XC54, 8XC58, P80/P87C51X2, P80/P87C52X2, P80C557E4, P80C557E6, P80C557E8, P80C562, P80C591, P80C592, P80CE558, P80CE598, P80CL31, P80CL410, P80CL51, P83/P87C557E8, P83/P89C557E4, P83/P89CE558, P83C562, P83C591, P83C592, P83CL410, P83CL580, P87C51RA2, P87C51RB2, P87C51RC2, P87C51RD2, P87C591, P87CL52X2, P87CL54X2, P89C51RA2xx, P89C51RB2Hxx, P89C51RB2xx, P89C51RC2Hxx, P89C51RC2xx, P89C51RD2Hxx, P89C51RD2xx, P89C51X2, P89C52X2, P89C54X2, P89C58X2, P89C60X2, P89C61X2, P89C660, P89C662, P89C664, P89C668, P89C738, P89C739
OKI (8051 Family)
80/83C154S, 80C31F, 80C51F
Silicon Laboratories, Inc. (8051 Family)
C8051F000, C8051F001, C8051F002, C8051F005, C8051F006, C8051F007, C8051F010, C8051F011, C8051F012, C8051F015, C8051F016, C8051F017, C8051F018, C8051F019, C8051F020, C8051F021, C8051F022, C8051F023, C8051F060, C8051F061, C8051F062, C8051F063, C8051F064, C8051F065, C8051F066, C8051F067, C8051F120, C8051F121, C8051F122, C8051F123, C8051F126, C8051F127, C8051F130, C8051F131, C8051F132, C8051F133, C8051F206, C8051F220, C8051F221, C8051F226, C8051F230, C8051F231, C8051F236, C8051F300, C8051F301, C8051F302, C8051F303, C8051F304, C8051F305, C8051F310, C8051F311, C8051F320, C8051F321, C8051F330, C8051F331, C8051F350, C8051F351, C8051F352, C8051F353
SST (8051 Family)
SST89C54, SST89C58, SST89C59, SST89E554RC, SST89E564RD, SST89F54, SST89F58, SST89V554RC, SST89V564RD, SST89x516RD2, SST89x52RD2, SST89x54RD2, SST89x58RD
STMicroelectronics (8051 Family)
uPSD3212A, uPSD3212C, uPSD3212CV, uPSD3233B, uPSD3233BV, uPSD3234A, uPSD3234BV, uPSD3253B, uPSD3253BV, uPSD3254A, uPSD3254BV, uPSD3312D, uPSD3312DV, uPSD3333D, uPSD3333DV, uPSD3334D, uPSD3334DV, uPSD3354D, uPSD3354DV, uPSD3422E, uPSD3422EV, uPSD3433E, uPSD3433EV, uPSD3434E, uPSD3434EV

A complete list of all supported devices is available at:

http://www.keil.com/dd/