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.

AvRtos is a small, preemtive, priority based real time operating system for Atmel AVR and ARM microcontrollers. It was written in C. AvRtos provides message queues and semaphores for task synchronization. It uses a static memory allocation scheme. AvRtos is nearly the smallest RTOS out there. Even pico]OS is much bigger. AvRtos can be compiled using gcc compiler. There is a AvrStudio 4 and Eclipse project file to get the example code working very quickly.

UFFS: Ultra-low-cost Flash File System, designed for NAND flash working in embedded system. UFFS typically consumes less then 200K ram for 1Gb(page 512)/4Gb(page 2K) NAND flash. It supports direct flash interface, works with or without OS.

LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes...

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.

small fast static malloc/free library

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.