ARM-software / speculation-barrier
This project provides a header file which contains wrapper macros for the __builtin_load_no_speculate builtin function defined at https://www.arm.com/security-update This builtin function defines a speculation barrier, which can be used to limit the conditions under which a value which has been loaded can be used under speculative execution.
☆45Updated 6 years ago
Alternatives and similar repositories for speculation-barrier:
Users that are interested in speculation-barrier are comparing it to the libraries listed below
- ☆28Updated 8 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆40Updated 5 years ago
- Unit tests for the kernel virtual machine (KVM)☆14Updated 4 years ago
- ☆30Updated 9 months ago
- NOVA userland☆48Updated 11 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆22Updated 2 weeks ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆36Updated 8 years ago
- TPM 2.0 tools running in EFI environment☆23Updated 6 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- ☆70Updated 4 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- ☆32Updated 7 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- QEMU-based fault injection☆27Updated 3 years ago
- Demo projects using virt86☆14Updated 5 years ago
- A simple OS kernel.☆13Updated last year
- Qemu Etrace☆14Updated 8 months ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- A python parser for decoding arm aarch32 and aarch64 system registers☆15Updated last year
- Various UEFI utilities built against UDK2015☆38Updated 7 years ago
- OPAL boot and runtime firmware for POWER☆104Updated 2 weeks ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Linux kernel module for triggering a System Management Interrupt (SMI)☆15Updated 7 years ago
- Cross-platform driver for the USB 3 xHCI Debug Capability☆19Updated 3 years ago