Reference Operating system based on seL4 --- example code
☆22Mar 17, 2025Updated 11 months ago
Alternatives and similar repositories for refos-manifest
Users that are interested in refos-manifest are comparing it to the libraries listed below
Sorting:
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated 11 months ago
- ☆31Jul 24, 2016Updated 9 years ago
- musl: A C standard library☆17Feb 26, 2026Updated last week
- Simple and light weight powershell script that removes pre-installed windows 10/11 bloatware apps, disables telemetry and declutters the …☆24Jun 26, 2023Updated 2 years ago
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 12 years ago
- Standalone SDR experiment using multicore MCU☆11Apr 12, 2018Updated 7 years ago
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- Green SqlAlchemy extensions for pulsar☆11Nov 24, 2017Updated 8 years ago
- vimflowy is an implementation of workflowy-style outliner on vim☆14Dec 13, 2012Updated 13 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Updated this week
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 8 years ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆16May 5, 2025Updated 10 months ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- BKNR Web Components☆16Aug 7, 2017Updated 8 years ago
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 3 months ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆15Jan 13, 2026Updated last month
- A lightweight daemon framework in C.☆15Apr 1, 2014Updated 11 years ago
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- moved to https://git.sr.ht/~lotheac/pf.vim☆10Jul 16, 2018Updated 7 years ago
- TAS Client repository. Source files enabling development of debug tools for Infineon's AURIX and future automotive microcontrollers.☆17Jan 9, 2026Updated last month
- A grey-blue theme with two versions (dark & light).☆11Updated this week
- The Penultimate Cloud Image Builder☆11Dec 27, 2021Updated 4 years ago
- Network link monitor daemon☆12Mar 29, 2016Updated 9 years ago
- Nodeless web server demo☆10Sep 8, 2019Updated 6 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- One Big Text File (OBTF) Journal in Markdown☆15Jan 17, 2026Updated last month
- ☆11Nov 28, 2019Updated 6 years ago
- Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.☆24Feb 23, 2026Updated 2 weeks ago
- ☆11Feb 20, 2025Updated last year
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- Bridged the i3status and dzen2 to make dzen2 display icons☆20Dec 22, 2014Updated 11 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago