SEL4PROJ / AOS-manifestView external linksLinks
Advanced Operating Systems project manifest
☆14Sep 6, 2025Updated 5 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.☆17Nov 11, 2025Updated 3 months ago
- 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
- sel4 benchmarking applications and support library.☆19Dec 18, 2025Updated last month
- Tutorials for working with seL4 and/or CAmkES.☆59Jul 15, 2025Updated 6 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆22Feb 6, 2026Updated last week
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 11 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 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 3 years ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆15May 5, 2025Updated 9 months ago
- xmservice☆10May 28, 2020Updated 5 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- Native Linux KVM tool☆12Feb 4, 2026Updated last week
- ☆11Jul 10, 2025Updated 7 months ago
- 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
- Bridged the i3status and dzen2 to make dzen2 display icons☆20Dec 22, 2014Updated 11 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 9 years ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- internship☆10Sep 1, 2017Updated 8 years ago
- Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.☆23Dec 24, 2025Updated last month
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- A grey-blue theme with two versions (dark & light).☆11Nov 27, 2020Updated 5 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- ☆12Feb 6, 2026Updated last week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆15May 30, 2020Updated 5 years ago
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 2 months ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- ucore+ repository for OS laboratory 2015☆10Jun 1, 2018Updated 7 years ago
- MetroHash v1: Exceptionally fast and statistically robust hash functions☆10Apr 10, 2025Updated 10 months ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago