Search Results for "running cppcheck on linux"

Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend. The kernel uses Rust as its primary implementation...

amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard.

TORO is demonstrating an innovative operating system by integrating at the same ring level both kernel and the user application server. The threads of the user application server are distributed evenly on all CPUs and running independently in parallel. The memory model chosen is NUMA without pagination. During the initialization, the memory is divided proportionally for each processor installed on the system. When a thread needs memory, the memory allocator returns a free block of memory...

Cooperative Linux is the first method for optimally running Linux on Windows and other operating systems natively. It is a port of the Linux kernel and support code that allows it to run cooperatively without emulation along with another operating system.

Nemesis is a tiny real time operating system kernel based on x86 PCs. Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik

The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/

Covert Linux is technology of instalation for Linux without repartition the disk and running from native system, e.g. you can install Linux from ,say, Windows by grabbing some SETUP.EXE, launching it and then clicking on desktop icon.

Tiny friendly OS in its early stage, running on x86 processors. Written in pure assembly.