Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
☆25Jul 19, 2026Updated this week
Alternatives and similar repositories for camkes-manifest
Users that are interested in camkes-manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- sel4 benchmarking applications and support library.☆22Jul 13, 2026Updated last week
- ☆30Mar 31, 2026Updated 3 months ago
- Capability Distribution Language tools for seL4☆40Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆60Jul 10, 2026Updated last week
- Project to build and test seL4 for many different platforms☆17Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Jun 11, 2026Updated last month
- ☆65Jul 7, 2026Updated 2 weeks ago
- Basic tools for building seL4 projects☆55Jul 7, 2026Updated last week
- For RaspberryPi4 support, use upstream directly. Everything was merged there already. "Das U-Boot" Source Tree☆11Jul 24, 2019Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆60Updated this week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆26Jun 1, 2026Updated last month
- NOVA runtime environment (official branch)☆35Jul 1, 2021Updated 5 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆62Updated this week
- Pre-built copy of the web renderer for Swift-DocC documentation.☆24Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 8 months ago
- Boot an Amiga from a disk image embedded into the ext. ROM☆38Jun 11, 2021Updated 5 years ago
- Utilities for building rump kernels☆119May 5, 2018Updated 8 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- Utility for finding all Git repositories that need attention☆17Mar 17, 2026Updated 4 months ago
- Qubes component: core-qubesdb☆12Jun 15, 2026Updated last month
- The Weston Wayland Compositor☆41Apr 14, 2014Updated 12 years ago
- OpenPOWER Host OS builds repository☆13Aug 6, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Microkit - A simple operating system framework for the seL4 microkernel☆193Updated this week
- Reference Operating system based on seL4 --- example code☆23Mar 17, 2025Updated last year
- Qubes component: core-vchan-xen☆15Jun 20, 2026Updated last month
- RGBtoHDMI CPLD-adapter-board for A500.☆13Aug 13, 2023Updated 2 years ago
- Oric Explorer is a .Net GUI application running on Windows, macOS and Linux for exploring collections of Oric media, primarily tape and …☆14Nov 6, 2022Updated 3 years ago
- TWRP Recovery device files for Xiaomi Note pro☆10Jul 19, 2015Updated 11 years ago
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆52May 20, 2026Updated 2 months ago
- A declarative, parameter-parsing library that provides multiple parsing interfaces (YAML, command line, and JSON)☆13Jan 26, 2021Updated 5 years ago
- distribution template for openqa tests☆10Jul 1, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 6502 and compatible processor target for LLVM.☆14Apr 19, 2020Updated 6 years ago
- Gene expression viewer template☆12Aug 30, 2017Updated 8 years ago
- code for "Implant Global and Local Hierarchy Information to Sequence based Code Representation Models"☆12Dec 13, 2024Updated last year
- Qubes component: gui-daemon☆29Jun 12, 2026Updated last month
- Raspberry Pi compatible Docker image with Docker Swarm - https://github.com/docker/swarm☆14Oct 29, 2017Updated 8 years ago
- everyday parsing, language tools, and more☆15Jun 14, 2026Updated last month
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Jun 24, 2025Updated last year