PrKERNELv4 is an embedded, realtime 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 realtime kernel specification and is used widely as a realtime 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.

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.

  • Retrieve a kernel object’s status
  • Set the name of a kernel object or acquire the object status
  • Dynamically allocate a stack
  • CPU-dependent functions (changing CPU state, etc.)
  • 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.

PrKERNELv4 is available in source code.

More info »