bblum / landslide-simics

Related projects ⓘ

Alternatives and complementary repositories for landslide-simics

• canalcache / canal
  ☆16Updated 5 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆55Updated 4 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• heechul / memguard
  Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors
  ☆49Updated 6 months ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 6 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆18Updated 4 months ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆39Updated 5 years ago
• sysml / multistack
  ☆17Updated 9 years ago
• seL4 / sel4test
  Test suite for seL4.
  ☆25Updated 3 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• euspectre / kernel-strider
  Main repository for KernelStrider project
  ☆24Updated 7 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆30Updated last year
• NetTLP / libtlp
  A library for PCIe Transaction Layer
  ☆52Updated 2 years ago
• CSL-KU / IsolBench
  A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,
  ☆15Updated 3 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆43Updated 3 months ago
• afborchert / pointer-chasing
  Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations
  ☆74Updated last year
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• nokia / ClickNF
  ☆31Updated 5 years ago
• seL4 / camkes-arm-vm
  ☆11Updated 3 years ago
• lastweek / source-glibc
  notes about glibc, ld-so and more.
  ☆36Updated 3 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆13Updated 2 years ago
• intel / soft-crc
  ISA-L and intel-ipsec-mb obsolete soft-crc project. Please refer and use them instead for efficient CRC implementation. https://github.co…
  ☆54Updated 7 months ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆94Updated 7 years ago
• t-crest / patmos-benchmarks
  A collection of benchmarks and tests for the Patmos processor and compiler
  ☆17Updated 2 years ago
• NetTLP / adapter
  An FPGA-based NetTLP adapter
  ☆21Updated 4 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆31Updated this week
• RSPwFPGAs / virtio-fpga
  A platform for emulating Virtio devices with FPGAs
  ☆25Updated 3 years ago
• Echelon9 / valgrind
  Downstream developer fork of Valgrind
  ☆24Updated 4 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆79Updated 6 years ago