Project to build and test seL4 for many different platforms
☆19Nov 4, 2026Updated this week
Alternatives and similar repositories for sel4test-manifest
Users that are interested in sel4test-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:
- Test suite for seL4.☆38Oct 30, 2026Updated last week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆27Updated this week
- Manifests for the collection of verification repositories☆18Updated this week
- sel4 benchmarking applications and support library.☆25Oct 30, 2026Updated last week
- Capability Distribution Language tools for seL4☆44Oct 30, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆11Jan 18, 2021Updated 5 years ago
- The main CAmkES tool☆27Oct 30, 2026Updated last week
- ☆31Oct 30, 2026Updated last week
- For RaspberryPi4 support, use upstream directly. Everything was merged there already. "Das U-Boot" Source Tree☆11Jul 24, 2019Updated 7 years ago
- This is the source of the seL4 docs.☆19Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Oct 30, 2026Updated last week
- Node wrapper around WireShark's tshark packet processor☆13Mar 20, 2014Updated 12 years ago
- Advanced Operating Systems project manifest☆16Sep 6, 2025Updated last year
- ☆23Jun 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a module for a demostack configuration of bounday☆13Jan 17, 2024Updated 2 years ago
- simple python socket connection to test if exim is vulnerable to CVE-2019-10149. The payload simply touch a file in /tmp/eximrce.☆14Jul 8, 2019Updated 7 years ago
- ☆14Apr 8, 2021Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- A lightweight IPC mechanism☆13Mar 29, 2016Updated 10 years ago
- Tutorials for working with seL4 and/or CAmkES.☆61Jul 22, 2026Updated 3 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆62Oct 30, 2026Updated last week
- Apps for running with the rumprun unikernel on seL4.☆34May 28, 2026Updated 5 months ago
- Performance Counters for Apple Silicon on macOS☆20Jan 9, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Pre-built copy of the web renderer for Swift-DocC documentation.☆27Updated this week
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated last year
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- ☆66Oct 30, 2026Updated last week
- ESnet SmartNIC firmware design repository.☆14Updated this week
- ☆16Sep 29, 2022Updated 4 years 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.
- Enable OPTIGA™ TPM 2.0 on Raspberry Pi 4☆11Mar 13, 2023Updated 3 years ago
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆16Feb 7, 2022Updated 4 years ago
- An implementation of the TDH2 protocol by Shoup & Gennaro (paper link https://www.shoup.net/papers/thresh1.pdf)☆14Oct 27, 2026Updated last week
- ☆20Sep 14, 2015Updated 11 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- Basic tools for building seL4 projects☆57Oct 30, 2026Updated last week
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago