zeldovich / histarLinks
HiStar operating system (not under active development)
☆33Updated 7 years ago
Alternatives and similar repositories for histar
Users that are interested in histar are comparing it to the libraries listed below
Sorting:
- Operating system demonstrating system transactions☆17Updated 8 years ago
- Mirror of the official Barrelfish OS repository.☆220Updated 3 years ago
- Memory access tracing QEMU☆99Updated 9 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- dthreads: Efficient Deterministic Multithreading☆70Updated 11 years ago
- K42 Kernel☆31Updated 13 years ago
- ☆33Updated 7 years ago
- COW b-trees☆108Updated 8 years ago
- ☆21Updated 8 years ago
- ☆84Updated 2 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆131Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆67Updated 7 years ago
- Nautilus Aerokernel☆48Updated 3 years ago
- A component-based OS☆199Updated last week
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆90Updated 3 years ago
- NOVA userland☆48Updated 12 years ago
- ☆186Updated 5 years ago
- ☆211Updated 3 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Updated this week
- ☆142Updated last week
- Enhanced Valgrind for Persistent Memory☆113Updated last year
- memTrace, a framework for lightweight memory tracing☆58Updated 6 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆55Updated 4 years ago
- RISC-V port of GNU's libc☆71Updated 4 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago