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
Related projects ⓘ
Alternatives and complementary repositories for speculation-barrier
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆33Updated 7 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
- ☆30Updated 7 years ago
- ☆27Updated 8 years 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
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆34Updated 7 years ago
- ☆30Updated 6 months ago
- NOVA userland☆48Updated 10 years ago
- An EFI image parser and dissector☆50Updated 11 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- Unit tests for the kernel virtual machine (KVM)☆14Updated 3 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 6 years ago
- Upstream eglibc + xilinx branches☆14Updated 11 years ago
- ☆68Updated 9 months ago
- Several example uses of TPM2/TSS APIs.☆10Updated 8 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- Tiny Code Generator Library☆45Updated 3 years ago
- Tracing framework for full system simulators☆54Updated 9 years ago
- mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/☆21Updated this week
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 8 months ago
- Open Source EDK2 GDB Server☆13Updated 6 years ago
- ☆34Updated last year
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆18Updated 8 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- Tegra BCT and bootable flash image generator/compiler☆30Updated 5 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- Support UEFI load☆10Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- ☆44Updated 6 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 2 years ago