Search Results for "micro kernel"

It is a micro kernel for Arduino boards. It is based on finite state machines. Can run multiple tasks simultaneously. No busy waits. No threads, no dead locks. Fully configurable.

... > Philosophy: Write Once → Run Everywhere The package-item can be a thread, a separate local process that is started by fork or spawn, or even a network of multiple services on multiple hosts. The package-item can be written in any language that is supported by the Programming-Language-Micro-Kernel support. It even supports running multiple programming languages in a single piece of software. Supported Languages are: (C,C++,C#,VB.NET,Java,Python,Ruby,Perl,PHP,Tcl or GO) > Strategy: It takes 4 years to write a programming-language, but it only takes 4 weeks to insert a micro-kernel. The package-item is connected to one another via a pipe or a socket and is based on packets .

FIRMAMENT runs, inside the Linux kernel, user supplied micro-programs over each processed message to emulate communication fault situations, using a script approach. The tool is appropriate to perform experiments over protocols and distributed systems.

SDL REFLEX is the micro kernel of a real time operating system for the AVR microcontroller family. The kernel is especially designed to implement systems described in SDL – “The Specification and Description Language” . Compiler GNU ANSI-C for AVR v.3.3