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
- Unit tests for the kernel virtual machine (KVM)☆14Updated 4 years ago
- ☆29Updated 9 years ago
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆34Updated 7 years 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
- Upstream eglibc + xilinx branches☆16Updated 11 years ago
- ☆30Updated 10 months ago
- Tiny Code Generator Library☆46Updated 4 years ago
- SerialICE is a flexible, software based system software debugger☆31Updated last year
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆19Updated 8 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆13Updated last year
- ☆32Updated 7 years ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated last month
- NOVA userland☆48Updated 11 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 2 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆40Updated 5 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆23Updated last week
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆30Updated 3 years ago
- Personal sandbox to make quick tests and how-tos for ARM development☆38Updated 5 years ago
- Tegra BCT and bootable flash image generator/compiler☆30Updated 5 years ago
- PowerPC FSI Debugger☆16Updated last month
- http://www.memtest.org☆54Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Open source Tegra 2/3/4 2D/3D user-space developer tools☆85Updated last year
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated 2 weeks ago
- parse and regenerate the SHA-256 of bootloaders for Amlogic S905 SoC☆34Updated 8 years ago
- A simple OS kernel.☆13Updated 2 years ago
- JEFF file format tools☆27Updated 9 years ago
- Tracing framework for full system simulators☆55Updated 9 years ago