Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
☆38Sep 13, 2022Updated 4 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 2 months ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆17Aug 20, 2022Updated 4 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆41May 8, 2026Updated 4 months ago
- A simple Aarch64 hypervisor for Raspberry Pi☆37Jul 23, 2020Updated 6 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.
- a 3D graphics engine without graphics libs☆14Jun 29, 2019Updated 7 years ago
- ARM OS☆14Jun 16, 2022Updated 4 years ago
- A UEFI extraction tool☆28Nov 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
- 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 11 months ago
- pack a package and pack it's dependencies☆10May 14, 2026Updated 4 months ago
- A Kernel Ftrace Recorder and Visualizer to Analyse Executed Kernel Callchains☆11Dec 5, 2023Updated 2 years ago
- ☆119Feb 28, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- based on beego,and provide telnet and ssh restfull api☆19Feb 14, 2019Updated 7 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆50Sep 5, 2020Updated 6 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆504Jun 1, 2026Updated 3 months ago
- ☆44Jul 11, 2023Updated 3 years ago
- xv6 port to aarch64 virt board☆30Oct 22, 2023Updated 2 years ago
- ☆18Oct 31, 2022Updated 3 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Linux Security Module Stacking☆10Aug 27, 2026Updated 3 weeks ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆76Updated this week
- A guide to silicon reverse engineering by optical microscophy☆15Dec 27, 2024Updated last year
- ☆44Sep 1, 2026Updated 2 weeks ago
- Zigux is an attempt to write a UNIX-like kernel in Zig☆39Jun 20, 2025Updated last year
- Flexible Virtualization Solution for Embedded System☆267Jun 3, 2026Updated 3 months ago
- 磁悬浮装置，项目包含磁悬浮实现源码、原理图、PCB、3D模型。☆20Nov 5, 2025Updated 10 months ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- base on esp32 realize ftp_servre☆13Oct 12, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 4 years ago
- 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
- IDA (sort of) headless☆28Feb 17, 2024Updated 2 years ago
- C implementation of the Hazard-Pointers memory manager☆17Jun 19, 2014Updated 12 years ago
- 리눅스 커 널 v5.10/15 (iamroot 18차 소스분석용 - 230729 스터디 완주)☆17Jul 29, 2023Updated 3 years ago
- Clang-format configuration, script and git hook used for our C++ code☆10Aug 8, 2016Updated 10 years ago