Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
☆40Sep 13, 2022Updated 3 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
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 13, 2022Updated 4 years ago
- ☆13Feb 3, 2026Updated 4 months ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆16Aug 20, 2022Updated 3 years ago
- A UEFI extraction tool☆27Nov 3, 2024Updated last year
- 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 Aarch64 hypervisor for Raspberry Pi☆37Jul 23, 2020Updated 5 years ago
- ARM OS☆14Jun 16, 2022Updated 4 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆38May 8, 2026Updated last month
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆14Sep 18, 2024Updated last year
- Fnotifystat is a program that dumps the file system activity in a given period of time.☆15Jan 1, 2025Updated last year
- ☆119Feb 28, 2019Updated 7 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆54Updated this week
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆473Jun 1, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆44Jul 11, 2023Updated 2 years ago
- A minimal runtime for seL4 applications.☆14Mar 31, 2026Updated 2 months ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- lightcore source tree☆25May 3, 2023Updated 3 years ago
- SCTF CheckIn_ret2text, Auto pwn challenge.☆10Dec 28, 2021Updated 4 years ago
- xv6 port to aarch64 virt board☆30Oct 22, 2023Updated 2 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆76May 29, 2026Updated last month
- A guide to silicon reverse engineering by optical microscophy☆14Dec 27, 2024Updated last year
- A set of Android binary exploitation tasks for beginners.☆29Jul 16, 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.
- Zigux is an attempt to write a UNIX-like kernel in Zig☆38Jun 20, 2025Updated last year
- Linux Security Module Stacking☆10Apr 25, 2026Updated 2 months ago
- Flexible Virtualization Solution for Embedded System☆265Jun 3, 2026Updated 3 weeks ago
- base on esp32 realize ftp_servre☆13Oct 12, 2017Updated 8 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 4 years ago
- An android application which is useful in capturing BLE advertisement packets and storing the data collected in the phone storage as a cs…☆11Jun 29, 2017Updated 9 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- News and Paper Collections for Machine Learning Hardware☆22Apr 26, 2026Updated 2 months ago
- IDA (sort of) headless☆28Feb 17, 2024Updated 2 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.
- Attempting to self-host with a high level compiler☆12Mar 30, 2022Updated 4 years ago
- 리눅스 커널 v5.10/15 (iamroot 18차 소스분석용 - 230729 스터디 완주)☆18Jul 29, 2023Updated 2 years ago
- Clang-format configuration, script and git hook used for our C++ code☆10Aug 8, 2016Updated 9 years ago
- Automating and Enhancing Nmap using Python☆17Apr 18, 2018Updated 8 years ago
- DeviceIO是一个驱动框架，用于封装嵌入式HAL驱动，为上层应用提供服务。☆10Jun 1, 2024Updated 2 years ago
- Documentation related to POWER9 coreboot porting effort☆13Jul 12, 2022Updated 3 years ago
- A simple SMP OS on ARMv8a☆28May 18, 2022Updated 4 years ago