zeldovich / histarLinks
HiStar operating system (not under active development)
☆28Updated 7 years ago
Alternatives and similar repositories for histar
Users that are interested in histar are comparing it to the libraries listed below
Sorting:
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- ☆32Updated 6 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- Operating system demonstrating system transactions☆16Updated 8 years ago
- Nautilus Aerokernel☆46Updated 3 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- K42 Kernel☆29Updated 13 years ago
- ☆203Updated 3 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Mirror of the official Barrelfish OS repository.☆208Updated 2 years ago
- ☆185Updated 5 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- ☆76Updated last year
- NOVA userland☆48Updated 11 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 8 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆54Updated 4 years ago
- ☆138Updated 3 months ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆66Updated 6 years ago
- COW b-trees☆102Updated 7 years ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆87Updated 3 years ago
- A component-based OS☆190Updated 5 months ago
- ☆30Updated 3 years ago