David Vernet's repositories
bpftrace
High-level tracing language for Linux eBPF
Language:C++Apache-2.0000
ietf116-project-presentations
Project results presentations at end of Hackathon
llvm-jenkins.debian.net
Configuration for http://llvm-jenkins.debian.net/
mkinitcpio
Arch Linux initramfs generation tools
osandov-linux
My ~/linux infrastructure
personal_configs
My own personal config files
rt-tests
Public tracking Clark Williams' rt-tests suite
Language:CGPL-2.0000
sudo
Utility to execute a command as another user
Language:CNOASSERTION000
toolbelt
Repository containing various scripts, etc that I've used for debugging
GPL-2.0000
Language:PythonGPL-2.0000
virtme-ng
Quickly build and run kernels inside a virtualized snapshot of your live system
Language:PythonGPL-2.0000