Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
☆38Sep 13, 2022Updated 4 years ago
Alternatives and similar repositories for Leo
Users that are interested in Leo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tutorial: Writing a "bare metal" ARM64 (AARCH64) Hypervisor for Raspberry Pi 4.☆19May 8, 2022Updated 4 years ago
- ☆13Sep 23, 2026Updated 2 weeks ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆41May 8, 2026Updated 5 months ago
- A UEFI extraction tool☆28Nov 3, 2024Updated last year
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated 2 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆60Nov 30, 2023Updated 2 years ago
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated last year
- based on beego,and provide telnet and ssh restfull api☆19Feb 14, 2019Updated 7 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆50Sep 5, 2020Updated 6 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆507Jun 1, 2026Updated 4 months ago
- xv6 port to aarch64 virt board☆31Oct 22, 2023Updated 2 years ago
- [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C☆16Apr 25, 2021Updated 5 years ago
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated 2 months 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.
- Linux Security Module Stacking☆10Aug 27, 2026Updated last month
- SCTF CheckIn_ret2text, Auto pwn challenge.☆10Dec 28, 2021Updated 4 years ago
- A guide to silicon reverse engineering by optical microscophy☆15Dec 27, 2024Updated last year
- Zigux is an attempt to write a UNIX-like kernel in Zig☆39Jun 20, 2025Updated last year
- Flexible Virtualization Solution for Embedded System☆267Jun 3, 2026Updated 4 months ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- Cisco CallManager User Enumeration☆16Aug 16, 2022Updated 4 years ago
- protect virtual machine platform power by Libvmi☆16Feb 20, 2018Updated 8 years ago
- A Open Source Project that seeks to create a automated chess board that costs less than $150 and is customizable based on the user's need…☆12Jul 25, 2025Updated last year
- 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.
- Attempting to self-host with a high level compiler☆12Mar 30, 2022Updated 4 years ago
- IDA (sort of) headless☆28Feb 17, 2024Updated 2 years ago
- 리눅스 커널 v5.10/15 (iamroot 18차 소스분석용 - 230729 스터디 완주)☆17Jul 29, 2023Updated 3 years ago
- patch QEMU for raspberry4☆60Oct 2, 2022Updated 4 years ago
- DeviceIO是一个驱动框架，用于封装嵌入式HAL驱动，为上层应用提供服务。☆10Jun 1, 2024Updated 2 years ago
- Creates statically linked python 3/2 with cross compilation☆11Jan 18, 2025Updated last year
- Docker image for PowerShell remoting from Linux to Windows☆36Nov 21, 2018Updated 7 years ago
- An ABI-compatible implementation of Metal and related frameworks (e.g. MetalKit, MetalPerformanceShaders)☆15Mar 7, 2026Updated 7 months ago
- Fast, compact floating point math for ARM Cortex-M0+ MCUs.☆14Jun 16, 2026Updated 3 months 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 simple SMP OS on ARMv8a☆29May 18, 2022Updated 4 years ago
- unpbook == Unix Networking Programming☆12Apr 29, 2018Updated 8 years ago
- Documentation related to POWER9 coreboot porting effort☆13Jul 12, 2022Updated 4 years ago
- Main Repo for the OpenHW Group Software Task Group☆17Mar 11, 2025Updated last year
- QEMU source tree for Loongson☆10Nov 25, 2025Updated 10 months ago
- C standard library for embedded systems☆11Aug 25, 2025Updated last year
- git tags as Windows Projected Filesystem☆15Sep 2, 2023Updated 3 years ago