RTX51 Real-Time Kernel

Discontinued

Real-Time OS/Kernels

Overview

ARM RTOS & Middleware

MDK-ARM

C166 RTOS & Middleware

C51 OS/Kernels

Further Information

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
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
Lapis Semiconductor (8051 Family)
80/83C154S, 80C31F, 80C51F
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
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
Texas Instruments (8051 Family)
CC1010

A complete list of all supported devices is available at:

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