Search Results for "llama-cpp-static"

ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.

Pharos is a free open-source RTOS for secure, safe and real-time systems with the following characteristics: - Memory and enhanced time partitioning (TSP) - Native support for sporadic, periodic and aperiodic threads - Fixed-priority preemptive scheduler - Execution time protection (threads are prevented from executing for more time than they are configured to) - Small size (full image has ~100 to 300KiB text, ~30KiB data) - Hard real-time determinism - Fast critical sections -...

This project is now in the research and development stage. It is intended for very small microcontrollers with a single processor and represent simple multithreading kernel what written by C language. Is planning create implementations for AVR8 and STM8, may be. Now it is suspended until better time.

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

The DEX Operating system allows for the dynamic reconfiguration and customization of various system services using concepts found in extensible operating systems. The ultimate goal of this operating system is to achieve zero static inter-module calls.

The goal of llama-X is to be a cutting-edge desktop operating system for the x86 architecture. A new object-oriented filesystem, and a fresh new desktop paradigm, and an innovative multikernel subsystem are main features of the system.