zeldovich / histarLinks
HiStar operating system (not under active development)
☆31Updated 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
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- ☆186Updated 5 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- ☆33Updated 7 years ago
- Mirror of the official Barrelfish OS repository.☆216Updated 2 years ago
- Memory access tracing QEMU☆99Updated 8 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Operating system demonstrating system transactions☆16Updated 8 years ago
- Nautilus Aerokernel☆47Updated 3 years ago
- dthreads: Efficient Deterministic Multithreading☆69Updated 11 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆109Updated 3 years ago
- ☆209Updated 3 years ago
- ☆30Updated 3 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 8 months ago
- K42 Kernel☆31Updated 13 years ago
- A component-based OS☆193Updated 9 months ago
- ☆81Updated last year
- No-assurance libraries for rapid-prototyping of seL4 apps.☆56Updated 4 months ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- COW b-trees☆108Updated 8 years ago
- POSIX-like scalable multicore research OS kernel☆195Updated 5 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
- NOVA userland☆48Updated 11 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- ☆141Updated 7 months ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆90Updated 3 years ago
- PMCTrack: an OS-oriented performance monitoring tool for Linux☆68Updated last year