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
Sorting:
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- SCTF CheckIn_ret2text, Auto pwn challenge.☆10Dec 28, 2021Updated 4 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated last year
- A Kernel Ftrace Recorder and Visualizer to Analyse Executed Kernel Callchains☆12Dec 5, 2023Updated 2 years ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆13Aug 20, 2022Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- ARM OS☆14Jun 16, 2022Updated 3 years ago
- a 3D graphics engine without graphics libs☆14Jun 29, 2019Updated 6 years ago
- Fnotifystat is a program that dumps the file system activity in a given period of time.☆15Jan 1, 2025Updated last year
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 3 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 8 years ago
- Automating and Enhancing Nmap using Python☆17Apr 18, 2018Updated 7 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆49Mar 2, 2026Updated last week
- The published code repo for the Cortex-M SoK paper.☆27Feb 5, 2026Updated last month
- [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C☆17Apr 25, 2021Updated 4 years ago
- Chaining AI & API agents to streamline software development and achieve goals collaboratively.☆24Mar 3, 2024Updated 2 years ago
- Setup files for the Channel Feed Manager suite of tools for Roku and Amazon.☆12Jan 30, 2026Updated last month
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Sep 5, 2020Updated 5 years ago
- IDA (sort of) headless☆27Feb 17, 2024Updated 2 years ago
- patch QEMU for raspberry4☆59Oct 2, 2022Updated 3 years ago
- Aircraft detection in satellite images using computer vision and machine learning.☆13Jul 30, 2024Updated last year
- learn dpdk step by step☆30Dec 27, 2025Updated 2 months ago
- lightcore source tree☆24May 3, 2023Updated 2 years ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated 2 months ago
- Deep learning techniques for 5G NR and 4G LTE signal detection and identification☆16Jun 12, 2025Updated 8 months ago
- Project for Alike Backup, a BDR solution for XenServer, XCP-ng, and Hyper-V virtualization platforms☆12Sep 18, 2024Updated last year
- Smart pentesting toolkit for modern WPA/WPA2 networks ⚔️📡☆27Jun 19, 2020Updated 5 years ago
- A simple SMP OS on ARMv8a☆28May 18, 2022Updated 3 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆443Oct 8, 2025Updated 5 months ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆75Apr 17, 2025Updated 10 months ago
- NameZero is a Firmware for ESP32 Family devices☆14Jul 6, 2025Updated 8 months ago
- Debloat AOSP and MIUI☆10Dec 8, 2022Updated 3 years ago
- ETHICAL-HACKING☆12Dec 20, 2023Updated 2 years ago
- A GUI based face recognizer coded in Python☆12Dec 19, 2019Updated 6 years ago
- Open Fiesta lets you chat with 100+ AI models like OpenAI, Gemini, Claude, Perplexity, Deepseek, and Grok in one place. Compare model res…☆26Dec 29, 2025Updated 2 months ago
- VNC Tweaked for Nethunter (prepackaged apk)☆11Apr 24, 2017Updated 8 years ago
- to study xilinx fpga using Zybo Z7-20 board☆14Mar 13, 2024Updated last year
- A flutter wheel project☆11Apr 9, 2019Updated 6 years ago
- a python script that automates recon flow for a given target domain.☆10Apr 21, 2022Updated 3 years ago