Search Results for "linux kernel"
Sort By:
Showing 65 open source projects for "linux 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
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. -
2
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... -
3
Linux GPIB Support
Linux GPIB Driver package (source)
The Linux GPIB Package is a support package for GPIB (IEEE 488.2) hardware. The package contains a development environment consisting of a GPIB library written in C, kernel driver modules, and bindings for several other languages. -
4
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. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
Qiling
Qiling Advanced Binary Emulation Framework
Cross-platform and multi-arch ultra lightweight emulator. Supported OS: Linux, MacOS, Windows, FreeBSD, DOS and UEFI. Support Arch: x86(16/32/64), ARM(64) MIPS, EVM and WASM. It also support Linux Kernel Module(.ko) , Windows Driver(.sys) and MacOS Kernel(.kext) via Demigod. Binary instrumentation and API are Qiling Framework's main focus and priority. It is designed for reverse engineers - thus there is no need to rebuild another sand boxing tool. -
6
rCore-Tutorial-Book-v3
A book about how to write OS kernels in Rust easily
rCore-Tutorial-Book-v3 is the official book for the third version of the rCore OS tutorial series, a comprehensive educational resource for learning operating system development using the Rust programming language. Targeted at the RISC-V architecture, this tutorial guides learners step-by-step through building a minimal, safe, and modern OS kernel from scratch. It is written in Markdown and powered by mdBook, making it easy to read, navigate, and contribute to. The book combines theoretical... -
7
Linux Disk Destroyer
A disk schredder application for debian-linux systems
...This process is irreversible, and the data cannot be recovered later. Using this application is especially recommended if you're considering selling your storage units. The program is powered by the default kernel module, the "shred" tool. It's bilingual (English and Turkish) and easy to use. Simply select your drive and click the "Destroy!" button. https://github.com/shampuan/Linux-Disk-Destroyer -
8
CDemu - a virtual CD/DVD drive for Linux. Project includes Linux kernel module & userspace utilities.
-
9
CachyOS
Blazingly Fast & Customizable Linux distribution
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 -... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
ALSC - Advanced Linux System Cleaner
Simplify the maintenance and cleaning of Linux systems.
This program was developed to facilitate maintenance and cleaning of Linux systems. -
11
SelikUP
Linux Kernel Updater
This program helps you update your Linux distribution's Linux kernel by downloading the kernel from the KERNEL main repository. -
12
Nitrux
A Linux system for modern computers on an immutable foundation.
A Linux system for modern computers on an immutable foundation. Powered by OpenRC, MauiKit, NX AppHub, and Hyprland. -
13
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
14
BerserkArch
A bleeding-edge, security-centric Arch-based Linux distribution.
BerserkArch is a security-focused, performance-tuned Linux operating system (OS) based on Arch Linux, designed for developers, hackers, and technical users. A bleeding-edge, security-centric Arch-based Linux distribution crafted for hackers, developers, and nerds alike. Following the Arch Linux philosophy, it is designed to be highly customizable, allowing users to build their environment with only the components they need, rather than having a lot of pre-installed software like some other security distributions (e.g., Kali Linux). ... -
15
KaNaPi
Educational Linux Distribution
Main goals: * Prepare operating system based on Linux kernel and free software for use at home from scratch by building sources. Binary packages/images are also available. * Each package is installed in separate directory, so you can use different versions of applications and libraries by design. * There is only one user 'kanapi' with root permissions, so you don't have to login, remember passwords, etc -
16
NebiOS Alternative Mirror (Official)
An Ubuntu Linux-based OS that aims to end user.
NebiOS is Ubuntu-based secure, privacy-focused universal OS for daily life, creativity, gaming & more. Official mirror - use if main site has download issues. Main site: https://nebios.org ⚠️ DON'T DOWNLOAD FROM UNKNOWN SOURCES! 🛡️ Privacy: NebiOS has no telemetry, no background data services, no tracking daemons, and cannot send any personal data without user action. Full policy: nebisoftware.com/legal/privacy.html === 🚀 NebiOS X out now! ⚠️ Note on Virtual Machines:... -
17
BashCore
A custom Debian live ISO with security tools, no GUI, only Bash.
BashCore is a Debian-based live ISO for security, networking, and learning. CLI-only, Bash-driven, lightweight, GPU-ready, with optional PREEMPT_RT kernel. Fresh environment on every boot, ideal for safe experimentation. Also available: BashCoreX (XFCE GUI) BashCoreT (Trixie CLI, Linux 6.12) BashCoreTX (Trixie XFCE) BashCoreZ (ultra-minimal CLI) BashLabOS (XFCE, daily use & privacy tools) BashCoreGee (GNOME, installable via Calamares) Info: https://www.bashcore.org -
18
linux-factory
Framework used to create custom debian linux operating systems
linux-factory is a utility designed to streamline the process of building and customizing Linux kernel images using a simple, scriptable environment. It provides a modular framework for configuring kernel options, applying patches, and generating bootable images, making it ideal for embedded developers, kernel hackers, and OS maintainers. -
19
CommanderPi
Easy RaspberryPi4 GUI system managment
Easy Raspberry Pi 4 GUI system manager. -
20
Mininet
Emulator for rapid prototyping of Software Defined Networks
...We encourage you to contribute code, bug reports/fixes, documentation, and anything else that can improve the system! Links are virtual ethernet pairs, which live in the Linux kernel and connect our emulated switches to emulated hosts (processes). -
21
dumb-init
A minimal init system for Linux containers
Lightweight containers have made running a single process without normal init systems like systemd or sysvinit practical. However, omitting an init system often leads to incorrect handling of processes and signals, and can result in problems such as containers that can’t be gracefully stopped, or leaking containers that should have been destroyed. dumb-init is simple to use and solves many of these problems: you can just add it to the front of any container’s command, and it will take on the... -
22
Drauger OS
Ubuntu-based Linux Gaming OS
Drauger OS is an Ubuntu-based Linux desktop gaming distribution that ships with many modifications and optimizations over stock Ubuntu that are intended to improve gaming performance and the gaming experience. From simple changes such as swapping Gnome out for the light-weight Xfce Desktop Environment and using a dark GTK theme by default, to more complex changes such as using a kernel compiled in-house and replacing PulseAudio with Pipewire. -
23
virgo
32 bit VIRGO Linux Kernel
Linux kernel fork-off with cloud and machine learning features -
24
EfiPy
Python Library for accessing UEFI BIOS internal function by protocol
EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages -... -
25
Debox GNU/Linux Live CD
Debox Linux is a live distro based on Debian distribution and Openbox
Debox GNU/Linux Live CD is a live hybrid distribution based on Debian and OpenBox. Can be used on computers supporting 32-bit (x86) or 64-bit (x86_64) instruction set architectures. Debox was made with the middle and novice user in mind. Includes a wide range of software: word processor, media players, internet browser, email client, disk utilities, java and few games. Also, a plenty of printers, scanners, bluethooth, web cams, digital tv, fax are supported by default. Different...
