SikkiLadho / LeoView external linksLinks
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:
- Tutorial: Writing a "bare metal" ARM64 (AARCH64) Hypervisor for Raspberry Pi 4.☆18May 8, 2022Updated 3 years ago
- 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 Kernel Ftrace Recorder and Visualizer to Analyse Executed Kernel Callchains☆12Dec 5, 2023Updated 2 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated last year
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆59Nov 30, 2023Updated 2 years ago
- Fnotifystat is a program that dumps the file system activity in a given period of time.☆14Jan 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
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆13Aug 20, 2022Updated 3 years ago
- a 3D graphics engine without graphics libs☆14Jun 29, 2019Updated 6 years ago
- ARM OS☆14Jun 16, 2022Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 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…☆10Jun 29, 2017Updated 8 years ago
- Automating and Enhancing Nmap using Python☆17Apr 18, 2018Updated 7 years ago
- The published code repo for the Cortex-M SoK paper.☆26Feb 5, 2026Updated last week
- A guide on how to build and use a set of Bao guest configurations for various platforms☆49Jan 15, 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
- xv6 port to aarch64 virt board☆29Oct 22, 2023Updated 2 years ago
- IDA (sort of) headless☆27Feb 17, 2024Updated last year
- 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
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆45Jan 5, 2026Updated last month
- Flexible Virtualization Solution for Embedded System☆265Feb 21, 2024Updated last year
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 3 years ago
- Deep learning techniques for 5G NR and 4G LTE signal detection and identification☆15Jun 12, 2025Updated 8 months ago
- A simple SMP OS on ARMv8a☆27May 18, 2022Updated 3 years ago
- ☆113Feb 28, 2019Updated 6 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆433Oct 8, 2025Updated 4 months ago
- Microsoft DevBox Demos☆10Updated this week
- a python script that automates recon flow for a given target domain.☆10Apr 21, 2022Updated 3 years ago
- Automatically turns your RPI Pico into a bad usb. The pico-ducky is from dbisu.☆11May 28, 2024Updated last year
- A GUI based face recognizer coded in Python☆12Dec 19, 2019Updated 6 years ago
- to study xilinx fpga using Zybo Z7-20 board☆14Mar 13, 2024Updated last year
- VNC Tweaked for Nethunter (prepackaged apk)☆11Apr 24, 2017Updated 8 years ago
- A flutter wheel project☆11Apr 9, 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…☆23Dec 29, 2025Updated last month
- NameZero is a Firmware for ESP32 Family devices☆14Jul 6, 2025Updated 7 months ago
- ETHICAL-HACKING☆12Dec 20, 2023Updated 2 years ago
- Wardriving tool for finding Flock Cameras.☆31Feb 2, 2026Updated last week