Alternatives and similar repositories for x-runikraft

Users that are interested in x-runikraft are comparing it to the libraries listed below

• SJTU-IPADS / PipeLLM
  ☆19Updated 6 months ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated 3 weeks ago
• Jiacheng / honeycomb-osdi23-ae
  ☆15Updated 2 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated last month
• XpuOS / xsched
  A preemptive scheduling framework for diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs
  ☆57Updated this week
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆9Updated 3 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 6 months ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 2 months ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• glarer / UserspaceBypass
  ☆58Updated last year
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 10 months ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• zzrcxb / PinnedLoads
  Gem5 implementation of Pinned Loads: Taming Speculative Loads in Secure Processors
  ☆9Updated 2 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• PKU-ASAL / PKUWA
  ☆13Updated last week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆36Updated this week
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 10 months ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 5 months ago
• oscomp / proj23-lightweight-hypervisor
  在RISC-V处理器上实现一个轻量级的Hypervisor。
  ☆12Updated 4 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• efeslab / moesi-prime
  ☆15Updated 2 years ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 months ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆14Updated last year
• 130B848 / ipads-tutorial07
  ☆10Updated 3 years ago
• comparch-security / cache-model
  A behavioural cache model for analysing the cache behaviour under side-channel attack.
  ☆25Updated 3 weeks ago