Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
☆38Sep 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
- ☆13Jul 14, 2026Updated last month
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆16Aug 20, 2022Updated 4 years ago
- A simple Aarch64 hypervisor for Raspberry Pi☆37Jul 23, 2020Updated 6 years ago
- a 3D graphics engine without graphics libs☆14Jun 29, 2019Updated 7 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.
- ARM OS☆14Jun 16, 2022Updated 4 years ago
- A UEFI extraction tool☆27Nov 3, 2024Updated last year
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 5 years ago
- Fnotifystat is a program that dumps the file system activity in a given period of time.☆16Jan 1, 2025Updated last year
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆60Nov 30, 2023Updated 2 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 10 months ago
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated last year
- A Kernel Ftrace Recorder and Visualizer to Analyse Executed Kernel Callchains☆11Dec 5, 2023Updated 2 years ago
- ☆118Feb 28, 2019Updated 7 years 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.
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆499Jun 1, 2026Updated 3 months ago
- Some Android image(system/boot/etc.) tools☆17Mar 4, 2020Updated 6 years ago
- ☆18Oct 31, 2022Updated 3 years ago
- 自己写过的爬虫脚本☆12May 11, 2019Updated 7 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
- lightcore source tree☆25May 3, 2023Updated 3 years ago
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated last month
- Linux Security Module Stacking☆10Updated this week
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆76Jul 19, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SCTF CheckIn_ret2text, Auto pwn challenge.☆10Dec 28, 2021Updated 4 years ago
- 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 7 years ago
- Zigux is an attempt to write a UNIX-like kernel in Zig☆39Jun 20, 2025Updated last year
- DHCP Client in Rust☆11Apr 10, 2023Updated 3 years 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
- Cisco CallManager User Enumeration☆16Aug 16, 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
- 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.
- 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
- 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 3 years ago
- DeviceIO是一个驱动框架，用于封装嵌入式HAL驱动，为上层应用提供服务。☆10Jun 1, 2024Updated 2 years ago