mykernel 2.0: Develop your own OS kernel by reusing Linux infrastructure, based on x86-64/Linux Kernel 5.4.34.
Exporter for machine metrics
A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)
Platform for emulation and dynamic analysis of Linux-based firmware
kpatch - live kernel patching
CoreFreq is a CPU monitoring software designed for the 64-bits Processors.
BusyBox for Android
Unified Performance Analyzer