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:
- ☆29Updated 9 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
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- ☆32Updated 8 years ago
- OPAL boot and runtime firmware for POWER☆110Updated last month
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated last week
- SerialICE is a flexible, software based system software debugger☆35Updated 2 months ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- http://www.memtest.org☆56Updated 9 years ago
- NOVA userland☆48Updated 11 years ago
- Linux UEFI Validation Distribution☆117Updated 4 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…☆14Updated 3 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
- Tracing framework for full system simulators☆57Updated 10 years ago
- Suite of utilities for Linux on Power systems☆40Updated last month
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated last week
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- x86info : x86 processor register decoder.☆45Updated 6 months ago
- UEFI, on Loongson.☆14Updated 9 years ago
- Mirror of git.qemu.org/seabios.git☆70Updated 3 months ago
- ☆33Updated 6 months ago
- Unit tests for the kernel virtual machine (KVM)☆13Updated 4 years ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- ☆71Updated 5 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆55Updated 8 years ago
- A network interface for GDB for Linux Kernel☆71Updated 3 months ago