sysml / toolchainLinks
C/C++ toolchain for MiniOS
☆17Updated 7 years ago
Alternatives and similar repositories for toolchain
Users that are interested in toolchain are comparing it to the libraries listed below
Sorting:
- Coda is an advanced networked filesystem. It has been developed at CMU since 1987 by the systems group of M. Satyanarayanan in the SCS de…☆142Updated 8 months ago
- EbbRT: elastic building block runtime☆77Updated last year
- ☆142Updated last week
- Matching Commits with Their Mailing List Discussions☆39Updated 7 years ago
- ClickOS toolstack☆19Updated 9 years ago
- HiStar operating system (not under active development)☆32Updated 7 years ago
- Cross-platform inter-process communication.☆10Updated 10 years ago
- A content cache node unikernel☆12Updated 3 years ago
- Linux Kernel Networking☆39Updated 14 years ago
- HermitCore: A C-based, lightweight unikernel☆227Updated 4 years ago
- Popcorn Linux kernel for distributed thread execution☆171Updated 2 years ago
- Deprecated repository, code now lives in: https://github.com/rust-vmm/vhost/☆20Updated 3 years ago
- A variety of utilities built and maintained by Facebook's Linux Kernel Team that we wish to share with the community.☆325Updated 4 years ago
- fuzz code from openssl updated to target libressl☆17Updated last year
- An unofficial mirror of the OpenBSD team's LibreSSL project (a fork of OpenSSL)☆72Updated 11 years ago
- C library that implements the OTR protocol.☆64Updated 9 years ago
- A bunch of scripts to scrape symbols from Linux distributions☆21Updated 3 weeks ago
- Patch kernel without rebooting☆86Updated 10 years ago
- Receive and process logs from the Linux kernel.☆60Updated this week
- The Click modular router: fast modular packet processing and analysis☆142Updated 3 years ago
- Compute Engine Virtual Ethernet Linux driver.☆82Updated last month
- I/O Benchmark Suite☆68Updated 2 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆79Updated 4 years ago
- Small C tool for Linux filesystem encryption☆141Updated 3 months ago
- Firmware for the Jamine OpenSSD platform☆57Updated 3 years ago
- RISC-V port of GNU's libc☆71Updated 4 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- userspace tools for linux libos☆98Updated 3 years ago
- CGroup aware resource querying library☆56Updated last year
- Control Group manager☆51Updated 6 years ago