Search Results for "scheduler linux"

CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT -...

Mark3 is a sophisticated RTOS and embedded systems toolkit, targeted towards a growing list of MCUs. Beyond providing "just another scheduler", it provides heaps, drivers, a shell, an event-driven GUI framework, and much more! It currently supports a variety of Atmel AVR, MSP430, and the ARM Cortex-M series of microcontrollers, with other platforms to follow. Mark3 was designed from the ground-up using disciplined object-oriented design principles - and unlike the vast majority of...

"µOS++" (micro OS plus plus) is an open source, royalty-free, real-time operating system intended for embedded systems built around ARM Cortex M or AVR devices. It is based on a preemptive scheduler written in C++ (more info in the Wiki).

SC-REX stands for "SCheduler for REconfigurable devices on linuX". It is a scheduler for heterogeneous multicore platforms where some cores can be dynamically reconfigured at run-time (e.g., VLIWs processors that can change issue width).

Note: the project is basically dead, as I started rewriting it but I don't have much free time to work on it. It's basically a micro-kernel, but on top of that, instead of having multiple servers running as standalone processes, it has a modular kernel, so that each server is a module of this kernel. The micro-kernel contains only the scheduler, memory management and drivers for high-speed devices (like gigabit ethernet NICs or video cards).