Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)
☆17Sep 12, 2017Updated 8 years ago
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆233Sep 19, 2018Updated 7 years ago
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Container Registry Synchronization made easy and fast☆12Oct 7, 2021Updated 4 years ago
- High performance, DPDK-based, user space firewall☆13Dec 9, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Various networking notes☆17Feb 11, 2013Updated 13 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 7 years ago
- Base Ubuntu image for the ownCloud stack☆11Jun 3, 2026Updated last week
- An Emulator and SDK for Intel SGX extension☆32Mar 6, 2017Updated 9 years ago
- 微信自动点赞☆10Dec 18, 2016Updated 9 years ago
- [ARCHIVED] Porting the HAMMER File System to Linux VFS☆23Dec 4, 2012Updated 13 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 7 months ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Samples of binary with different formats and architectures. A test suite for your binary analysis tools.☆21Jun 23, 2014Updated 11 years ago
- ☆13Aug 4, 2022Updated 3 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- bk-tree for golang☆11Jul 30, 2022Updated 3 years ago
- CVE-2014-0816☆25Oct 5, 2016Updated 9 years ago
- An open source CPU detection software.☆20Jun 6, 2015Updated 11 years ago
- Memory management is one of the most important parts of the operating system. KSM (Kernel Samepage Merging) in Linux kernel is a kind of…☆13Apr 8, 2018Updated 8 years ago
- This repo would serve as an interface between the different clients and the platform. For API information please refer to the fabric8-ana…☆12Apr 13, 2023Updated 3 years ago
- Exokernel to run ocaml baremetal on the Raspberry Pi☆41Jul 11, 2014Updated 11 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.
- Experiemental userspace eBPF library☆15Aug 10, 2015Updated 10 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 3 years ago
- RPM package and delivery☆18Oct 20, 2022Updated 3 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 4 years ago
- Nautilus Aerokernel☆50May 11, 2022Updated 4 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 7 years ago
- Python-based singleton configuration☆28Jun 20, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Linux Security Module Stacking☆10Apr 25, 2026Updated last month
- Molokai theme for terminator☆13Nov 27, 2014Updated 11 years ago
- A minimalistic Ansible-like tool for configuring remote servers via ssh☆26Jun 30, 2019Updated 6 years ago
- My git repository of minigui - MiniGUI - a compact cross-OS Graphics User Interface support system for real-time embedded systems.☆21Oct 11, 2009Updated 16 years ago
- MIDI-controlled LED matrix software☆18Apr 3, 2017Updated 9 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆11Feb 3, 2020Updated 6 years ago
- Zeroconf setup for tinc (mesh vpn) using consul as coordinator backend, and compatible with kubernetes☆12Jan 19, 2017Updated 9 years ago