Fibratus is a tool which is able to capture the most of the Windows kernel activity - process/thread creation and termination, context switches, file system I/O, registry, network activity, DLL loading/unloading an
kmemcache is a high-performance, distributed memory object caching system, generic in nature, but intended for use in speeding up dynamic web applications by alleviating database load.
kmemcache is derived from memcach
Package sysinfo is a Go library providing Linux OS / kernel / hardware system information. It's completely standalone, has no dependencies on the host system, doesn't execute external programs, doesn't even import
Linux is a clone of the operating system Unix, written from scratch by Linus Torvalds with assistance from a loosely-knit team of hackers across the Net. It aims towards POSIX and Single UNIX Specification compliance.
gophernotes - Use Go in Jupyter notebooks and nteract
gophernotes is a Go kernel for Jupyter notebooks and nteract. It lets you use Go interactively in a browser-based notebook or desktop app. Use gophernotes to create and s
You can now try IHaskell directly in your browser at CoCalc or mybinder.org.
Alternatively, watch a talk and demo showing off IHaskell features.
IHaskell is a kernel for the Jupyter project, which allows you
KASLRfinder is a small utility that can be used to find where in memory the Windows 10 kernel and its drivers are loaded - despite the addresses being randomized by Kernel Address Space Layout Randomization (
A service for logging and visualizing data from bpf scripts.
Setup the database
For sqlite you do the following
cat kernelscope-sqlite.sql | sqlite3 yourdatabase.db
For mysql you can just run the following
mysql -u userna
Build a Raspberry Pi 1 and 2 kernel with all kernel modules running docker.
Kernel git commit
In the build script scripts/compile_kernel.sh there is a git commit hash to pin the bui
Patches iOS kernel to allow access to all NVRAM variables. This tool requires tfp0 kernel patch to work (I'm not quite sure if it works with host_get_special_port 4 workaround). If nvram_patcher doesn't work for you
axle is a small UNIX-like hobby operating system. Everything used within axle is implemented from the ground up, aside from the bootloader, for which we use GRUB. axle is a multiboot compliant kernel. axle runs C on 'bare metal' in free
Linux kernel release 3.x <http://kernel.org/>
These are the release notes for Linux version 3. Read them carefully,
as they tell you what this is all about, explain how to install the
kernel, and what to do if something goes wrong.
Android Loadable Kernel Modules - mostly used for reversing and debugging on controlled systems/emulators.
antiptrace - simple ptrace hooking module for use to aid in reversing native applications on Android
syzkaller - kernel fuzzer
syzkaller is an unsupervised coverage-guided kernel fuzzer. Linux kernel fuzzing has the most support, akaros, freebsd, fuchsia, netbsd, windows and gvisor are supported to varying degrees.
This is a helper program to clean unused files from a project source directory. It's main purpose is for reducing the size of a Linux Kernel source tree.
lk-reducer is based on "cleanmysourcetree" by Jann Horn. Original idea by Joshua J. D
KMSAN is a detector of uninitialized memory use for the Linux kernel. It is currently in development.
Contact: [email protected]
The kernel branch with KMSAN patches is available
go-uuid - A wrapper for Linux kernel UUID v4 generator.
This UUID library is an yet another attempt to reimplement the wheel, but instead of outstanding algorithm it wraps the Linux kernel implementation of UUID v4 generator.
Minimal C kernel for Jupyter
Use with Docker (recommended)
docker pull brendanrius/jupyter-c-kernel
docker run -p 8888:8888 brendanrius/jupyter-c-kernel
Copy the given URL containing the token, and browse to it.
Distributed project development model and toolkit
Share and decentralize the development and maintenance of different parts of a project between its members. Chiefr is inspired by the contribution model of the Linux kerne
What is XNU?
XNU kernel is part of the Darwin operating system for use in OS X and iOS operating systems. XNU is an acronym for XNU is Not Unix. XNU is a hybrid kernel combining the Mach kernel developed at Carnegie Mellon University
kernelpop is a framework for performing automated kernel vulnerability enumeration and exploitation on the following operating systems:
It is designed to be python version-agnostic, meaning that
This is a simple radare2 Jupyter kernel, that can be used to make interactive radare2 tutorials, or take advanced notes.
The kernel can be used either from a notebook or a console:
gVisor is a user-space kernel, written in Go, that implements a substantial portion of the Linux system surface. It includes an Open Container Initiative (OCI) runtime called runsc that provides an isolation boundary b
Draw the running traces of OS(linux, xv6, ...) kernel functions in a dynamic call graph and link graph nodes to the source codes
Why you need this
If you try reading linux kernel source code, you will find t
Learning operating system development using Linux kernel and Raspberry Pi
This repository contains a step-by-step guide that teaches how to create a simple operating system (OS) kernel from scratch. I call this OS Raspberry Pi OS
Kconfig hardened check
There are plenty of Linux kernel hardening config options. A lot of them are not enabled by the major distros. We have to enable these options ourselves to make our systems more secure
scoutfs is a clustered in-kernel Linux filesystem designed and built from the ground up to support large archival systems.
Its key differentiating features are:
Integrated consistent indexing accelerates archiva
It is open source ebook about TensorFlow kernel and implementation mechanism, including programming model, computation graph, distributed training for machine learning.
You can obtain f
Tool to extract Kerberos tickets from Linux kernel keys.
Based in the paper Kerberos Credential Thievery (GNU/Linux).
git clone https://github.com/TarlogicSecurity/tickey
Safely run WebAssembly in the Linux kernel, with faster-than-native performance.
I wrote Cervus, another WebAssembly "usermode" subsystem running in Linux kernel, about one year ago. At that tim
Linux kernel module written in Zig
This is a proof-of-concept on how to integrate zig into Linux kernel modules.
This assumes that you kernel headers installed. In Debian based systems can be done using apt-get
KTRW is an iOS kernel debugger for devices with an A11 SoC, such as the iPhone 8. It leverages debug registers present on these devices to bypass KTRR, remap the kernel as writable, and load a kernel extension that implement