Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
β39Sep 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:
- Let's write an OS which can run on ARM in Rust from scratch! (π§WIP)β18Mar 13, 2022Updated 4 years ago
- β13Jul 14, 2026Updated last week
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2β16Aug 20, 2022Updated 3 years ago
- A simple Aarch64 hypervisor for Raspberry Piβ37Jul 23, 2020Updated 5 years ago
- a 3D graphics engine without graphics libsβ14Jun 29, 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.
- A UEFI extraction toolβ27Nov 3, 2024Updated last year
- Fnotifystat is a program that dumps the file system activity in a given period of time.β16Jan 1, 2025Updated last year
- A Rocket-Chip with a Dynamically Randomized LLCβ14Sep 18, 2024Updated 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β¦β16Oct 16, 2025Updated 9 months ago
- Genetic Algorithm for integer constrained optimization and its applicationsβ11Oct 5, 2023Updated 2 years ago
- pack a package and pack it's dependenciesβ10May 14, 2026Updated 2 months ago
- A Kernel Ftrace Recorder and Visualizer to Analyse Executed Kernel Callchainsβ11Dec 5, 2023Updated 2 years ago
- β11Oct 21, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- based on beego,and provide telnet and ssh restfull apiβ19Feb 14, 2019Updated 7 years ago
- A guide on how to build and use a set of Bao guest configurations for various platformsβ55Updated this week
- β17Oct 31, 2022Updated 3 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.β480Jun 1, 2026Updated last month
- Virtual network manager - Manages containers and VMs to create a virtual network setupβ12Apr 13, 2026Updated 3 months ago
- A Micro Kernel Operating Systemβ12Nov 23, 2019Updated 6 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
- Libcamera with OpenCV in Raspberry Pi 64 bit Bullseyeβ13Dec 7, 2021Updated 4 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.
- A minimal runtime for seL4 applications.β14Mar 31, 2026Updated 3 months ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-Vβ76Updated this week
- xv6 port to aarch64 virt boardβ30Oct 22, 2023Updated 2 years ago
- ιη H610ITX ι»θΉζ macos 12 - 15β13Feb 20, 2025Updated 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β266Jun 3, 2026Updated last month
- A virtio layer for xv6β12Apr 16, 2019Updated 7 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
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- IDA (sort of) headlessβ28Feb 17, 2024Updated 2 years ago
- 리λ μ€ μ»€λ v5.10/15 (iamroot 18μ°¨ μμ€λΆμμ© - 230729 μ€ν°λ μμ£Ό)β17Jul 29, 2023Updated 2 years ago
- Clang-format configuration, script and git hook used for our C++ codeβ10Aug 8, 2016Updated 9 years ago
- A simple TVC Model Rocket simulator that allows the user to manually tune his PID controllerβ17Dec 30, 2020Updated 5 years ago
- Creates statically linked python 3/2 with cross compilationβ11Jan 18, 2025Updated last year
- An ABI-compatible implementation of Metal and related frameworks (e.g. MetalKit, MetalPerformanceShaders)β15Mar 7, 2026Updated 4 months ago
- News and Paper Collections for Machine Learning Hardwareβ22Apr 26, 2026Updated 2 months ago