mRK: A real-time OS for the mBed
mRK is a real time operating system (RTOS) that can run on the mbed NXP LPC1768 Microcontroller. The mBed has long been used for rapid prototyping for all sorts of devices and applications. However, there are not many operaitng systems which can run successfully on the mBed. mRK is an implementation of the NanoRK RTOS for the mbed. Nano-RK is a fully preemptive reservation-based real-time operating system (RTOS) made available from Carnegie Mellon University. The mBed has also been interfaced with Microchip's MRF24J40 RF radios. mRK supports both ansynchronous (b-MAC) and synchronous (RT-link) medium access layer protocols with the microchip radio. The Eukaryote node has been developed to interface the mbed with the radio and the ADC pins are exposed (compatible with the Firefly sensor board)
Download mRK from Github