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.
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
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 for the serial port and ticker come with PrKERNELv4 as standard.
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.