Alternatives and similar repositories for nautilus:

Users that are interested in nautilus are comparing it to the libraries listed below

• mit-pdos / ward
  ☆31Updated 3 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• LLNL / umap
  User-space Page Management
  ☆106Updated 5 months ago
• ix-project / dune
  ☆31Updated 6 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆95Updated 8 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆21Updated 4 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• mmisono / kvm-bpf-tools
  Some codes to trace KVM events using BPF
  ☆18Updated 4 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• uw-unsat / serval
  ☆46Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆98Updated 9 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 2 years ago
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• DataChi / memdb
  Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.
  ☆91Updated 9 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆28Updated 6 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆67Updated 6 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 months ago
• JulesWang / JOS-vmx
  Virtual Machine eXtension for JOS
  ☆22Updated 10 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆12Updated 8 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• apanwariisc / HawkEye
  The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.
  ☆18Updated 3 years ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆37Updated 4 years ago