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:
- ☆235Sep 19, 2018Updated 7 years ago
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 8 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
- 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.
- 微信自动点赞☆10Dec 18, 2016Updated 9 years ago
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 14 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated 2 years ago
- a quick open/close/ioctl/read/write syscall hooker☆15May 28, 2014Updated 12 years ago
- An Emulator and SDK for Intel SGX extension☆32Mar 6, 2017Updated 9 years ago
- Base Ubuntu image for the ownCloud stack☆11Updated this week
- An exokernel written in C11 (with GNU extensions) for Clang.☆15Jun 6, 2013Updated 13 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Built with node.js(express.js) and mysql on the server-side and Android Volley HTTP library on the client side for transmitting network d…☆10Dec 2, 2014Updated 11 years ago
- ☆13Aug 4, 2022Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- Cisco Teams bot for Gerrit code reviews.☆13Mar 28, 2023Updated 3 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 5 years ago
- Upstream eglibc + xilinx branches☆19Nov 7, 2013Updated 12 years ago
- My public presentations and code examples☆15Jan 20, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/provable-data-possession☆14Oct 19, 2015Updated 10 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- ☆16Jul 1, 2026Updated last month
- PRINCESS source code☆11Oct 15, 2016Updated 9 years ago
- This paper explains why the Rivest-Shamir-Adleman algorithm (RSA) works.☆15Jun 25, 2012Updated 14 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
- Linux Security Module Stacking☆10Apr 25, 2026Updated 3 months ago
- Automatically exported from code.google.com/p/bypass-x64-dse☆21Oct 1, 2015Updated 10 years ago
- Experiemental userspace eBPF library☆15Aug 10, 2015Updated 11 years ago
- ☆22Oct 11, 2017Updated 8 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.
- Nautilus Aerokernel☆50May 11, 2022Updated 4 years ago
- ☆23Jun 9, 2021Updated 5 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- RPM package and delivery☆18Oct 20, 2022Updated 3 years ago
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 7 years ago
- Generate the Abstract Syntax Tree (AST) of a Bash command☆15Jan 30, 2021Updated 5 years ago
- A minimalistic Ansible-like tool for configuring remote servers via ssh☆26Jun 30, 2019Updated 7 years ago