Dave (Jing) Tian's repositories
tcpSockHack
Linux kernel hacking to support SO_PEERCRED for local TCP socket connections
prov-kernel
Linux Provenance Kernel 2.6.X
advisories
Security advisories
arm-trusted-firmware
ARM Trusted Firmware
BIOS-Disassembly-Ninjutsu-Uncovered
Copy of the BIOS Disassembly Ninjutsu ("1st Edition") PDF
CansecWest2016_Getting_Physical_Extreme_Abuse_of_Intel_Based_Paging_Systems
CansecWest2016 - Getting Physical: Extreme Abuse of Intel Based Paging Systems
greybus
Greybus subsystem repository
gumstix-overo-images
Various Linux OS images for Gumstix Overo ARM boards
iproute2
Linux routing utilities
jeff-tools
JEFF file format tools
kdsa
Linux Kernel Crypto - DSA
kpatch
kpatch - dynamic kernel patching
libnl
Netlink Library Suite
linux
dtrace for linux - kernel driver and userland tools
lxc
LXC - Linux Containers
mipssim3
A MIPS simulator supporting pipeline with scoreboard
optee_os
Trusted side of the TEE
pib
Pseudo InfiniBand HCA driver (for Linux)
prov-tools
Linux Provenance Tools
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
selinux
This is the upstream repository for the Security Enhanced Linux (SELinux) userland libraries and tools. The software provided by this project complements the SELinux features integrated into the Linux kernel and is used by Linux distributions. All bugs and patches should be submitted to selinux@tycho.nsa.gov.
SGX-hardware
This is a list of hardware which is supports Intel SGX - Software Guard Extensions.
supermicro_ipmi_firmware
SuperMicro IPMI Firmware source code
usbarmory
USB armory: open source flash-drive-sized computer
x86info
x86info : x86 processor register decoder.