Single-kernel Linux RTOS supports IBM PowerPC 440GP, 440GX

TimeSys Corp. announced an agreement with IBM to deliver TimeSys Linux RTOS and associated Linux- and Windows-hosted development tools for IBM’s
PowerPC 440 family of system-on-chip embedded processors.