PrKERNELv4 is an embedded, real-time OS fully compliant with the µITRON4.0 standard profile. PrKERNELv4 is widely used in cellular phones, digital cameras, car navigation systems, printers, and FA equipment.

Compliant with the µITRON4.0 standard profile

PrKERNELv4 is fully compliant with the µITRON4.0 specification standard profile.

The µITRON4.0 specification is the newest µITRON real-time kernel specification and is used widely as a real-time kernel for embedded systems. The standard profile defines the standard function set and the specification of service calls to ensure software portability. Other features of PrKERNELv4 include standardization of the system initialization protocol and enhanced service calls.

*µITRON specification is available from the T-Engine Forum website.

Extended features of PrKERNELv4

PrKERNELv4 implements a variety of extension functions other than those defined by the standard profile. You can choose from various functions to improve execution performance and decrease development effort.

  • Mutex / variable-sized memory pool / alarm handler / rendezvous / message buffer
  • Automatic generation of a kernel object

Unique functions for PrKERNELv4

PrKERNELv4 has several original functions that are convenient for application development. With PrKERNELv4 you can:

  • Retrieve a kernel object's status
  • Set the name of a kernel object or acquire the object status
  • Dynamically allocate a stack
  • Use CPU-dependent functions (changing CPU state, etc.)
  • Use system/function trace

MISRA-C Compliance

The kernel's portable code complies with MISRA-C.

Minimized code size

The code size is minimized by linking only the APIs actually used by an application.

Sample drivers

Sample drivers for the serial port and ticker come with PrKERNELv4 as standard.

High portability

Porting to a custom board is easy because the hardware-dependent code is clearly separated from portable code.

Easy migration to eT-Kernel and eBinder

PrKERNELv4 configuration and environment-dependent code are shared with eT-Kernel, an extension of T-Kernel, ensuring easy migration to eT-Kernel and eBinder in the future.


PrKERNELv4 is available in source code.

Maintenance service and customization service

The following maintenance service is offered for PrKERNELv4.

  • Email correspondence regarding the product
  • Minor version upgrades
  • FAQ, patch, and related documentation from the web support service

eSOL also offers a customization service to tailor PrKERNELv4 to different target environments, such as custom hardware.


eSOL offers training for first-time or prospective PrKERNELv4 users to learn PrKERNELv4.

Back to top