seL4 / refos-manifestView external linksLinks
Reference Operating system based on seL4 --- example code
☆22Mar 17, 2025Updated 10 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☆50Mar 17, 2025Updated 10 months ago
- musl: A C standard library☆16Jan 22, 2026Updated 3 weeks ago
- Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO☆23Mar 3, 2024Updated last year
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 11 years ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 2 months ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆15May 5, 2025Updated 9 months ago
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Updated this week
- vimflowy is an implementation of workflowy-style outliner on vim☆14Dec 13, 2012Updated 13 years ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 7 years ago
- work with Linux on RK3066☆13Jun 23, 2014Updated 11 years ago
- CSI to FDP link serializer board based on the Texas instruments DS90UB953 up to 2.3MP/60fps. Power over coax implementation at 24V cable …☆11Oct 19, 2023Updated 2 years ago
- A grey-blue theme with two versions (dark & light).☆11Nov 27, 2020Updated 5 years ago
- One Big Text File (OBTF) Journal in Markdown☆15Jan 17, 2026Updated 3 weeks ago
- Scala-to-Minecraft testing framework.☆16Feb 4, 2026Updated last week
- Bridged the i3status and dzen2 to make dzen2 display icons☆20Dec 22, 2014Updated 11 years ago
- Bidirectional text support for marked☆12Feb 2, 2026Updated last week
- A web-based Markdown note-taking App for developers by Shaan Alam 🔥☆12Aug 30, 2023Updated 2 years ago
- TCCBOOT: TinyCC Boot Loader☆13Oct 24, 2014Updated 11 years ago
- Real-time performance monitoring, done right! (for ReadyNAS)☆12Nov 8, 2016Updated 9 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 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 tool based on eBPF to find out scalability bottlenecks in kernel.☆13Jun 11, 2020Updated 5 years ago
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 2 months ago
- ☆18May 31, 2015Updated 10 years ago
- The Penultimate Cloud Image Builder☆11Dec 27, 2021Updated 4 years ago
- Flexible Open-source workBench fOr Side-channel analysis (FOBOS)☆13Nov 19, 2025Updated 2 months ago
- PID controller playground in Python☆11Dec 9, 2016Updated 9 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
- ☆10Jul 8, 2020Updated 5 years ago
- Atom Appimage for linux 64bits☆12Nov 23, 2022Updated 3 years ago
- ☆11Feb 20, 2025Updated 11 months ago