ivogeorg / os-playground
Operating systems playground.
☆16Updated 5 years ago
Alternatives and similar repositories for os-playground:
Users that are interested in os-playground are comparing it to the libraries listed below
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆13Updated 5 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆41Updated 5 years ago
- Mirror of lascar (https://github.com/Ledger-Donjon/lascar)☆14Updated 6 years ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆35Updated 2 months ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- Tools and library to manipulate EFI variables.☆10Updated 10 months ago
- Generate JSON and HTML system call table for aarch64 from Linux source.☆11Updated 4 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- ☆16Updated 10 years ago
- Automatic Binary Parallelisation☆43Updated 2 months ago
- ☆19Updated 10 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 8 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆16Updated 6 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆42Updated 5 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆15Updated 5 years ago
- A ptrace based sandbox. (PoC)☆14Updated 6 years ago
- Capstone disassembly engine☆11Updated 11 months ago
- Introductory/review programming assignment (3 of 3) in the C language for a course in operating systems.☆7Updated 7 years ago
- Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack☆87Updated 7 years ago
- MD5 core in verilog☆13Updated 13 years ago
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆14Updated 7 years ago
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Updated 8 years ago
- Proof of Concept implementation + Brief Tutorial of the Meltdown and Spectre attacks [+ Flush/Realod]☆15Updated 6 years ago
- Baremetal softwares for TrivialMIPS platform☆11Updated 5 years ago
- valgrind fork with mmap tracing support☆23Updated 4 years ago
- A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model☆26Updated 11 years ago
- A simple program that calculates a checksum over its own executable program memory☆11Updated 8 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆38Updated 5 years ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆24Updated 7 years ago
- ☆32Updated 8 years ago