ibm-research / fusedos

Related projects: ⓘ

• TUD-OS / NUL
  NOVA userland
  ☆47Updated 10 years ago
• jimix / k42
  K42 Kernel
  ☆23Updated 12 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 9 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆41Updated 3 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆76Updated last year
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago
• kernelslacker / linux-historic-scripts
  scripts to recreate a git archive of pre-git era kernel snapshots.
  ☆29Updated 9 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆63Updated 11 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆33Updated 3 years ago
• cemeyer / structhole
  A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)
  ☆22Updated 6 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆19Updated 9 years ago
• skeeto / set32
  ☆32Updated this week
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆17Updated 7 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 7 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆55Updated 8 years ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆17Updated 2 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆53Updated 4 months ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆48Updated 10 years ago
• comex / fastdbg
  some old broken stuff
  ☆10Updated 8 years ago
• rustyrussell / stats
  ☆47Updated 9 years ago
• ssrg-vt / hermitux-kernel
  ☆33Updated last year
• pkhuong / barrierd
  Safely privileged daemon to let userspace wait on global barriers with low, constant overhead
  ☆15Updated 5 years ago
• HobbesOSR / kitten
  Kitten Lightweight Kernel
  ☆52Updated last year
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• Snaipe / BoxFort
  Convenient & cross-platform sandboxing C library
  ☆42Updated 4 months ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• ReturnInfinity / BareMetal-kernelC
  ☆20Updated this week
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆44Updated 9 years ago