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:
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆42Updated 6 years ago
- http://www.memtest.org☆56Updated 10 years ago
- Suite of utilities for Linux on Power systems☆39Updated last month
- 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
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 2 weeks ago
- ☆29Updated 9 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- OPAL boot and runtime firmware for POWER☆110Updated last month
- NOVA userland☆48Updated 12 years ago
- SerialICE is a flexible, software based system software debugger☆36Updated 5 months ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 4 years ago
- Upstream eglibc + xilinx branches☆18Updated 12 years ago
- Mirror of git.qemu.org/vgabios.git☆27Updated 8 years ago
- Xserver mirror☆52Updated last year
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- Project to build and test seL4 for many different platforms☆16Updated this week
- Tegra BCT and bootable flash image generator/compiler☆31Updated 6 years ago
- Virtual machine monitor for L4Re☆34Updated this week
- Tracing framework for full system simulators☆57Updated 10 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 last week
- ☆32Updated 8 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 12 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
- A mirror of the upstream binutils-gdb repository for ARC specific work☆16Updated this week
- Development drivers for Linux Integration Services☆34Updated 3 years ago
- Universal BIOS Recovery console for x86 PCs☆47Updated last year
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Updated 3 years ago
- GCC Crosscompiler build scripts and instructions☆59Updated 9 years ago
- This is a higan/Verilator co-simulation example/framework☆51Updated 7 years ago