zeldovich / histarLinks
HiStar operating system (not under active development)
☆32Updated 7 years ago
Alternatives and similar repositories for histar
Users that are interested in histar are comparing it to the libraries listed below
Sorting:
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- Nautilus Aerokernel☆48Updated 3 years ago
- COW b-trees☆108Updated 8 years ago
- Memory access tracing QEMU☆99Updated 8 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆33Updated 7 years ago
- Mirror of the official Barrelfish OS repository.☆217Updated 3 years ago
- Operating system demonstrating system transactions☆16Updated 8 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- A component-based OS☆196Updated 10 months ago
- ☆186Updated 5 years ago
- ☆209Updated 3 years ago
- ☆82Updated last year
- ☆141Updated 8 months ago
- Kitten Lightweight Kernel☆55Updated 2 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- K42 Kernel☆31Updated 13 years ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 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
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- ☆21Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 3 years ago
- QEMU with support for CHERI☆63Updated 2 weeks ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Updated last year
- dthreads: Efficient Deterministic Multithreading☆70Updated 11 years ago
- ☆30Updated 4 years ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆68Updated last year