Search Results for "mystic-kernel"
Sort By:
Showing 403 open source projects for "mystic-kernel"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Hermit Kernel
A Rust-based, lightweight unikernel
Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as scheduling, memory management, and networking. It bridges the gap between performance-critical applications and the simplicity of unikernel deployment. -
2
Zen Kernel
Zen Patched Kernel Sources
Zen Patched Kernel Sources. This is the top level of the kernel’s documentation tree. Kernel documentation, like the kernel itself, is very much a work in progress; that is especially true as we work to integrate our many scattered documents into a coherent whole. ARC processors are highly configurable and several configurable options are supported in Linux. -
3
WSL2-Linux-Kernel
The source for the Linux kernel used in Windows Subsystem for Linux 2
The WSL2-Linux-Kernel repo contains the kernel source code and configuration files for the WSL2 kernel. If you discover an issue relating to WSL or the WSL2 kernel, please report it on the WSL GitHub project. It is not possible to report issues on the WSL2-Linux-Kernel project. Instructions for building an x86_64 WSL2 kernel with an Ubuntu distribution are provided. -
4
IPython Kernel for Jupyter
IPython Kernel for Jupyter
This package provides the IPython kernel for Jupyter. IPython provides a rich toolkit to help you make the most of using Python interactively. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
WSL
Windows Subsystem for Linux
WSL is Microsoft's compatibility layer—now open source—that allows Linux binaries (CLI and GUI) to run natively on Windows without a VM. WSL 1 handles syscall translation; WSL 2 uses a lightweight VM with full Linux kernel, enabling full Linux compatibility, improved I/O, GPU acceleration, and support for distributions like Ubuntu, Debian, Kali, etc. -
6
KMON
Linux Kernel Manager and Activity Monitor
The kernel is the part of the operating system that facilitates interactions between hardware and software components. On most systems, it is loaded on startup after the bootloader and handles I/O requests as well as peripherals like keyboards, monitors, network adapters, and speakers. The Linux kernel is the open-source, monolithic, and, Unix-like operating system kernel that is used in the Linux distributions, various embedded systems such as routers, and as well as in all Android-based systems. ... -
7
SerenityOS
The Serenity Operating System
SerenityOS is an open source Unix-like operating system project with its own custom kernel, graphical user interface, system libraries, and userland tools. It combines a nostalgic “90s UI aesthetic” with modern system capabilities: a preemptive, multi-threaded kernel, own browsers, network stack, file systems, IPC, security features, and a suite of graphical / developer applications. The project is both a hobbyist OS and a polished engineering sandbox. -
8
Glow OS
System Analysis Software
Glow is an educational, hobbyist operating system written in C and Assembly, developed to help learners understand the internals of OS design and kernel development. Targeting x86_64 systems, Glow features its own kernel, bootloader, and minimal userland. With clear code structure and a simple design, it serves as a playground for experimenting with low-level systems programming, boot sequences, interrupt handling, and basic UI components like shells and text rendering. -
9
Moss
Rust Linux-compatible kernel
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. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
CoolPotOS
CoolPotOS for ia32 / amd64
CoolPotOS is a small, hobbyist operating system designed to be minimal and educational, offering the most basic kernel capabilities while remaining accessible to beginners. Written in C and Assembly, it focuses on bootstrapping, kernel entry, and simple console output. Though in early stages, CoolPotOS showcases the boot process, memory segmentation, and essential CPU features, serving as a great learning resource for those new to operating system internals. -
11
pwru
eBPF-based Linux kernel networking debugger
pwru is an eBPF-based tool for tracing network packets in the Linux kernel with advanced filtering capabilities. It allows fine-grained introspection of kernel state to facilitate debugging network connectivity issues. -
12
WANIX
A virtual environment kit for the local-first web
wanix is a hobbyist Unix-like operating system written from scratch in C, aiming to implement core features of a traditional OS in an educational and modular way. The project walks through kernel development starting from bootloading, memory management, system calls, and eventually to user programs. With support for x86_64 and simple tools like a shell and basic file I/O, wanix serves as both a learning platform and a launching point for more advanced kernel features. -
13
Nitro Enclaves Command Line Interface
Tooling for Nitro Enclave management
This repository contains a collection of tools and commands used for managing the lifecycle of enclaves. The Nitro CLI needs to be installed on the parent instance, and it can be used to start, manage, and terminate enclaves. The Nitro Enclaves kernel driver is available in the upstream Linux kernel starting with the v5.10 kernel for x86_64 and starting with the v5.16 kernel for arm64. The codebase from the 'drivers/virt/nitro_enclaves' directory in this GitHub repository is similar to the one merged into the upstream Linux kernel. The enclaves do not have access to a physical disk, just a RAM filesystem. ... -
14
OpenRazer
Open source driver and user-space daemon to control Razer lighting
A collection of Linux drivers for Razer devices - providing kernel drivers, DBus services and Python bindings to interact with the DBus interface. -
15
BCC (BPF Compiler Collection)
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
BCC is a toolkit that simplifies creating efficient kernel tracing, monitoring, and manipulation programs by leveraging extended Berkeley Packet Filters (eBPF). It includes a rich set of example tools and scripting interfaces in C, Python, and Lua. BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. -
16
Ricks-Lab GPU Utilities
A set of utilities for monitoring and customizing GPU performance
A set of utilities for monitoring GPU performance and modifying control settings. In order to get the maximum capability of these utilities, you should be running with a kernel that provides support for the GPUs you have installed. If using AMD GPUs, installing the latest AMD GPU driver or ROCm package may provide additional capabilities. If you have Nvidia GPUs installed, you should have Nvidia-smi installed in order for the utility reading of the cards to be possible. Writing to GPUs is currently only possible for compatible AMD GPUs on systems with appropriate kernel versions with the AMD ppfeaturemask set to enable this capability. -
17
Dokany
User mode file system for Windows
Dokany is the fork of Dokan, a user mode file system library that lets you easily and safely develop new file systems on the Windows OS. When creating new file systems on Windows, you need to develop a device driver that works in the kernel mode on Windows-- a difficult task without technical Windows Kernel knowledge. Dokany makes it easy. It enables you to create these file systems without device drivers, and is completely free to download. It is similar to FUSE, and also offers compatibility with a FUSE file system. -
18
MentOS
An educational 32-bit linux-like Operating System
MentOS is an educational operating system developed for academic use, particularly in university settings, to help students understand low-level system concepts such as process management, memory handling, and scheduling. Written in C, MentOS closely mimics a simplified Unix-like OS and includes hands-on implementations of key kernel features. Designed to be highly readable and modular, it offers a practical approach to learning systems programming through real-world kernel components, making it a valuable tool for operating system courses and personal exploration. -
19
-
20
Pony OS
My Little Unix: Kernels are Magic
ponyos is a lightweight, UNIX-like operating system developed as a personal hobby project by the creator of ToaruOS. It features a monolithic kernel written in C and aims for a POSIX-compliant environment with a built-from-scratch userland. ponyos includes a graphical interface, dynamic linker, shared libraries, and a package manager. It’s designed for fun, experimentation, and as a platform to learn and play with operating system internals, with surprisingly advanced features given its hobbyist origin. -
21
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
syzkaller is Google’s coverage-guided, feedback-driven kernel fuzzer designed to uncover reliability and security bugs in operating system kernels at scale. It automatically generates, mutates, and minimizes system call programs, then drives them through a specialized executor (syz-executor) to exercise deep kernel paths. The system integrates tightly with sanitizers such as KASAN, KMSAN, KCSAN, and UBSAN to surface memory safety, concurrency, and undefined behavior issues with actionable reports. ... -
22
Tock OS
A secure embedded operating system for microcontrollers
Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical. Its capability-based security model and preemptive multitasking allow developers to safely run multiple applications on constrained devices with confidence in memory and fault isolation. -
23
ShredOS
Shredos Disk Eraser 64 bit for all Intel 64 bit processors
...Nwipe originally was a fork of dwipe but has continued to have improvements and bug fixes and is now available in many Linux distros. ShredOS hopefully will always provide the latest nwipe on a up to date Linux kernel so it will support modern hardware. -
24
Zephyr Project
Scalable, optimized, secure RTOS for multiple hardware architectures
The Zephyr Project is a new generation real-time operating system (RTOS) that supports multiple hardware architectures. It is based on a small-footprint kernel specially designed for use on resource-constrained and embedded systems. The Zephyr OS can be used for a wide range of applications: from simple embedded environmental sensors and LED wearables to sophisticated embedded controllers, smart watches, and IoT wireless applications. -
25
ArkOS
Another rockchip Operating System
Another rockchip Operating System. This OS came about from an initial fork of The Retro Arena to support a roms folder on a NTFS partition so that the management of roms could be done by simply putting you SD card into an appropriate card reader on a Windows 10 computer. Through various upgrades and tweaks overtime, it has diverged significantly from TheRA and it's time to rebrand this distro. With suggestions provided by community members, ArkOS was chosen.
