A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆15Oct 8, 2025Updated 6 months ago
Alternatives and similar repositories for gunyah-c-runtime
Users that are interested in gunyah-c-runtime are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆25Oct 8, 2025Updated 6 months ago
- ☆14Oct 16, 2025Updated 5 months ago
- This is the source of the seL4 docs.☆18Updated this week
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆451Oct 8, 2025Updated 6 months ago
- sel4 benchmarking applications and support library.☆21Mar 31, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆17Mar 27, 2026Updated 2 weeks ago
- Strip out unused #ifdef blocks from the source tree, making it simpler and even compilable☆19Dec 6, 2017Updated 8 years ago
- The main CAmkES tool☆27Mar 31, 2026Updated 2 weeks ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated this week
- common kernel-4.19, main platform: mt6779☆19Jul 14, 2020Updated 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…☆50Updated this week
- Source Code for 'Linux Containers and Virtualization' by Shashank Mohan Jain☆16Oct 16, 2020Updated 5 years ago
- ☆10Mar 9, 2026Updated last month
- seL4 Device Driver Framework☆23Dec 7, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated last month
- Your favourite developer CLIs for GitHub Actions☆14Sep 18, 2024Updated last year
- Read only mirror for Hafnium☆23Mar 3, 2026Updated last month
- Project ACRN Documentation Publishing Site☆13Nov 5, 2024Updated last year
- Linux Inter-process(or) Communication over shared memory drive☆34Mar 19, 2026Updated 3 weeks ago
- SiFive OpenEmbedded / Yocto BSP Layer☆56Jan 23, 2026Updated 2 months ago
- Tutorials for working with seL4 and/or CAmkES.☆58Mar 31, 2026Updated 2 weeks ago
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆12Mar 31, 2026Updated 2 weeks ago
- Software bootloader for boards running Tock.☆27Feb 7, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆17Aug 28, 2022Updated 3 years ago
- The source for the Linux kernel used in Windows Subsystem for Android☆11May 23, 2022Updated 3 years ago
- A virtual machine monitor for the seL4 microkernel☆60Updated this week
- ☆16Oct 1, 2025Updated 6 months ago
- The plugins of crash-utility☆44Feb 3, 2026Updated 2 months ago
- ☆12Sep 23, 2024Updated last year
- Misc. devicetree sourcefiles☆10Apr 3, 2026Updated last week
- Read-Only mirror of Proxmox VE's QEMU package☆13Mar 30, 2026Updated 2 weeks ago
- Userspace reference for net/qrtr in the Linux kernel☆22Dec 8, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🤖️ Android x64: The LiveCD build for Android 15.0, try out 4 different editions of Android-x64+15.0 before installing it☆15Jan 23, 2023Updated 3 years ago
- Random test code☆20Jun 26, 2025Updated 9 months ago
- Edit and dump the RAM of the EC chip of MSI laptops via ACPI-WMI☆23Aug 20, 2023Updated 2 years ago
- C# implementation of doip external test equipment☆13Oct 9, 2024Updated last year
- Adding support s5l89xx support to QEMU☆11May 13, 2020Updated 5 years ago
- OverC + cubes distribution layer☆17Mar 25, 2022Updated 4 years ago
- Tools for installing Linux distros on Android easily and quickly without any hassle☆11Oct 16, 2025Updated 5 months ago