Search Results for "c programming framework"

*** Genode migrated to https://github.com/genodelabs/genode *** The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and...

This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future.

Simplest of possible ways to multithreading on the smallest microcontrollers. This project is demonstration the programming technique of the multithreading with polling the system state. Published code debugged and ready to use in your projects.

OpenCom is an open-source component programming model designed by the School of Computing and Communications at Lancaster University, UK. This project maintains the official C language version of OpenCom.

This project provides documentation on GCC programming for Lego Mindstorms NXT: Toolchains, GCC compatible source code, and some tools.

Operating System Framework for a MIPS Simulator. The project includes a multi-threaded MIPS Simulator and a naive Operating System and an Assembler for the simulated architecture, intended to be used for instructional and educational purpose.

PERSEUS is an open-source framework for trustworthy computing that aims at establishing an open security architecture by efficiently combining existing applications, modern operating system solutions, and security technology.

An operating system development framework for people who develop an OS in part or full. It can be used to develop a particular portion of an OS

OOOS stands for Object Oriented Operating System. It's an x86 kernel written in VC++ using domain embedded language techniques. It is not a functional kernel, it's a demonstration of various techniques to use template meta-programming techniques in low-level applications.

beetleOS is a small and flexible real time OS for embedded systems with preemptive multitasking. It also provides a lightweight device-driver framework. It is basically programmed for the ARM7 processor architecture but it could be ported to other archit