ARM-software / speculation-barrierLinks
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.
☆44Updated 7 years ago
Alternatives and similar repositories for speculation-barrier
Users that are interested in speculation-barrier are comparing it to the libraries listed below
Sorting:
- 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 9 years ago
- ☆29Updated 9 years ago
- Reverse Engineering of NVIDIA's Tegra driver for Linux☆35Updated 8 years ago
- OPAL boot and runtime firmware for POWER☆110Updated last month
- SerialICE is a flexible, software based system software debugger☆36Updated 5 months ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆42Updated 6 years ago
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago
- Mirror of git.qemu.org/seabios.git☆72Updated 2 weeks ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Updated 3 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 5 years ago
- Various UEFI utilities built against UDK2015☆39Updated 8 years ago
- ☆32Updated 8 years ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- http://www.memtest.org☆56Updated 10 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆131Updated 3 years ago
- Suite of utilities for Linux on Power systems☆39Updated last month
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆28Updated 2 years ago
- NOVA userland☆48Updated 12 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆223Updated 4 years ago
- Starting point for bare metal development and JTAG debugging on Raspberry Pi 3.☆28Updated 8 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆20Updated 2 years ago
- Support UEFI load☆11Updated 10 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- ☆73Updated 5 years ago
- Xserver mirror☆52Updated last year
- A network interface for GDB for Linux Kernel☆73Updated 6 months ago
- Tiny Code Generator Library☆46Updated 5 years ago