Advanced Operating Systems project manifest
☆14Sep 6, 2025Updated 6 months ago
Alternatives and similar repositories for AOS-manifest
Users that are interested in AOS-manifest are comparing it to the libraries listed below
Sorting:
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆13May 15, 2020Updated 5 years ago
- This is the source of the seL4 docs.☆18Updated this week
- MIPS CPU☆14Dec 10, 2020Updated 5 years ago
- sel4 benchmarking applications and support library.☆19Dec 18, 2025Updated 2 months ago
- Tutorials for working with seL4 and/or CAmkES.☆59Feb 17, 2026Updated 2 weeks ago
- 拙著《系统程序员成长计划》的示例代码。☆33Sep 14, 2023Updated 2 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆22Feb 27, 2026Updated last week
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆16May 5, 2025Updated 10 months ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- xmservice☆10May 28, 2020Updated 5 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 4 years ago
- Tick-based timer (hierarchical timing wheel algorithm)☆44Dec 15, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- ☆11Nov 28, 2019Updated 6 years ago
- ☆11Jul 10, 2025Updated 7 months ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- Network link monitor daemon☆12Mar 29, 2016Updated 9 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Native Linux KVM tool☆12Feb 4, 2026Updated last month
- Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.☆24Feb 23, 2026Updated last week
- This simulator models multi core systems, intended primarily for studies on main memory management techniques. It models a trace-based ou…☆12Jan 18, 2016Updated 10 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- GUI for SymbiYosys☆17Oct 13, 2025Updated 4 months ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- ☆13Feb 13, 2026Updated 3 weeks ago
- ☆17Jan 6, 2024Updated 2 years ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago