David Vernet (Byte-Lab)

Byte-Lab

Geek Repo

Location:The internet

Home Page:https://twitch.tv/Byte_Lab

Twitter:@byte_lab

Github PK Tool:Github PK Tool

David Vernet's repositories

JCoz

JCoz -- A Java causal profiler

Language:JavaLicense:Apache-2.0Stargazers:272Issues:11Issues:46

rhone

A framework for implementing user space schedulers on top of sched_ext

Language:CLicense:GPL-2.0Stargazers:7Issues:3Issues:0

libbpf-rs

Minimal and opinionated eBPF tooling for the Rust ecosystem

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0

bpf

My kernel-patches fork which is used to open PRs for CI runs

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

bpf-ietf

Temporary repo for (e)BPF work prior to working group formation

Stargazers:0Issues:1Issues:0

bpf-next

My branch of bpf-next, used for kicking off CI jobs

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

bpftrace

High-level tracing language for Linux eBPF

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

drgn

Programmable debugger

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

ietf116-project-presentations

Project results presentations at end of Hackathon

Language:HTMLStargazers:0Issues:1Issues:0

kmail

A tool that handles automatically emailing linux kernel maintainers for a patch.

Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0

kpatch

kpatch - live kernel patching

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

libbpf

Automated upstream mirror for libbpf stand-alone build.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

llvm-jenkins.debian.net

Configuration for http://llvm-jenkins.debian.net/

Language:ShellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mkinitcpio

Arch Linux initramfs generation tools

Language:ShellLicense:GPL-2.0Stargazers:0Issues:1Issues:0

monocle

A terminal-based system monitoring tool written in rust

Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0
License:GPL-2.0Stargazers:0Issues:1Issues:0

openssl

TLS/SSL and crypto library

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

osandov-linux

My ~/linux infrastructure

Language:PythonStargazers:0Issues:1Issues:0

personal_configs

My own personal config files

Language:ShellStargazers:0Issues:2Issues:0

retsnoop

Investigate kernel error call stacks

Language:CLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

rt-tests

Public tracking Clark Williams' rt-tests suite

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

SpaceVim

A community-driven modular vim/neovim distribution - The ultimate vimrc

Language:LuaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

sudo

Utility to execute a command as another user

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

syntastic

Syntax checking hacks for vim

Language:Vim scriptLicense:WTFPLStargazers:0Issues:2Issues:0

toolbelt

Repository containing various scripts, etc that I've used for debugging

License:GPL-2.0Stargazers:0Issues:0Issues:0

trace-cmd

utilities for Linux ftrace

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

virtme-ng

Quickly build and run kernels inside a virtualized snapshot of your live system

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0