zhangheng408 / isa-docs
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for isa-docs
- ☆42Updated 3 months ago
- ☆10Updated 5 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- JOS - MIT 6.828 Operating System Engineering 2016☆71Updated 7 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- SKI virtual machine for testing concurrency bugs☆11Updated 8 years ago
- Function tracer for gcc☆34Updated 7 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆28Updated this week
- ☆11Updated 5 years ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- Fork of github.com/Percona-Lab/tpcc-mysql☆9Updated last year
- Scripts to show tool impact on recent linux kernel development☆13Updated 5 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Main repository for KernelStrider project☆24Updated 7 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated last year
- MINIX 3 (mirror)☆14Updated 5 years ago
- ☆16Updated 2 years ago
- ☆43Updated 2 years ago
- Some toy labs for compiler course☆57Updated 2 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- notes about glibc, ld-so and more.☆36Updated 3 years ago
- ☆30Updated 2 years ago
- Verification of BPF JIT compilers☆54Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Memory access tracing QEMU☆94Updated 7 years ago
- A collection of links related to the Linux Kernel and kernel development.☆23Updated 6 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- documents☆162Updated 2 years ago