Real-Time OS/Kernels
ARM RTOS & Middleware
C166 RTOS & Middleware
C51 OS/Kernels
Further Information
|
Home / RTOS and Middleware
Keil RTX51
RTX51 is a real-time kernel for the 8051 family of
microcontrollers that is designed to solve two problems common to
embedded programs.
-
Multitasking: several operations must execute
simultaneously.
-
Real-time control: operations must execute within a
defined period of time.
These operations are organized as independent computer processes
that are referred to as tasks. While it is possible to implement an
embedded program without using a real-time kernel, a
well-established, proven kernel, like RTX51, saves time and makes
software development easier.
http://www.keil.com/rtx51/
Supported Devices
-
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 Technology
(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
Use the feedback form to tell us about other
RTOS, Kernels, or RTOS/Kernel vendors that should be listed.
|