Linux kernel source tree with changes to support LVBS with Hyper-V
☆23Sep 12, 2024Updated 2 years ago
Alternatives and similar repositories for lvbs-linux
Users that are interested in lvbs-linux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Nov 11, 2025Updated 11 months ago
- OpenHCL Linux Kernel☆24Updated this week
- ☆56Oct 20, 2025Updated last year
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 7 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.
- ☆45Sep 17, 2026Updated last month
- ☆13Dec 1, 2020Updated 5 years ago
- ☆25Jun 16, 2021Updated 5 years ago
- Simple and clear sample code for Remote Attestation☆12Aug 10, 2024Updated 2 years ago
- Open-source library for ORAM implementations☆12Apr 15, 2020Updated 6 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 4 years ago
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆19Mar 22, 2026Updated 7 months ago
- ☆17Jul 30, 2026Updated 3 months ago
- TDXRay Framework☆36Apr 1, 2026Updated 7 months 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.
- Performance Monitoring for ARM using PMU - Cycle count, Cache misses, and more...☆15Dec 16, 2012Updated 13 years ago
- A UNIX-like OS targeting AMD64 compatible processors☆20Mar 5, 2022Updated 4 years ago
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆17Nov 4, 2024Updated 2 years ago
- The UEFI bootloader for rCore.☆43Sep 3, 2026Updated 2 months ago
- A security oriented SoC featuring a custom pipelined RISC-V core and LCD-TFT controller☆21Dec 26, 2020Updated 5 years ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆116Mar 28, 2024Updated 2 years ago
- A very extendable and versatile hybrid kernel.☆36Jun 24, 2024Updated 2 years ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13May 11, 2021Updated 5 years ago
- Virtual machine monitor for L4Re☆36Oct 23, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆24Dec 8, 2022Updated 3 years ago
- ☆48Dec 19, 2018Updated 7 years ago
- 서울대학교 전기정보공학부 학사 학위논문 LaTeX (비공식) 템플릿☆20Jun 21, 2021Updated 5 years ago
- Collect computer related materials and codes☆20Jan 16, 2026Updated 9 months ago
- Implementation of the Arm CCA attestation token in Rust☆15Oct 13, 2026Updated 3 weeks ago
- ☆21Nov 22, 2025Updated 11 months ago
- X☆20Apr 17, 2025Updated last year
- ☆50Nov 15, 2021Updated 4 years ago
- RISC-V port of the OCaml system☆45Sep 17, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆21Sep 18, 2026Updated last month
- Virtual Machine Introspection (VMI) for memory forensics and machine-learning.☆32Jun 2, 2025Updated last year
- HiStar operating system (not under active development)☆34Apr 11, 2018Updated 8 years ago
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆32Mar 26, 2025Updated last year
- Escalating privilege in the system from unsigned driver using throttlestop vulnerability☆15Apr 17, 2026Updated 6 months ago
- IUSB - Virtual Media Protocol☆16Aug 8, 2015Updated 11 years ago
- Command like tool to print mitigation flags for running processes in a memory dump☆48Sep 18, 2020Updated 6 years ago