PrKERNELv4 RTOS

Posted by Ken Cheung in RTOS on Monday, October 2, 2006

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.

Availability
PrKERNELv4 is available in source code.

More info »

If you found this page useful, bookmark and share it on:

Possibly of Interest

 
Embedded Star Newsletter
Don't have time to visit Embedded Blog everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:   

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.