ARM-based Hypervisor for Real-Time Embedded Systems
☆20Mar 5, 2019Updated 7 years ago
Alternatives and similar repositories for k-hypervisor
Users that are interested in k-hypervisor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Real-time hypervisor for ARM☆64May 22, 2016Updated 9 years ago
- ☆19Jul 13, 2015Updated 10 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Sep 5, 2020Updated 5 years ago
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆22Aug 28, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Notes and code for developing hobby OS's for the Raspberry PI☆28Nov 30, 2014Updated 11 years ago
- AVR based implementation of AUTOSAR OS☆10Nov 28, 2020Updated 5 years ago
- A parser for the Intel Hexadecimal Object File Format (.hex), written in Swift.☆14May 3, 2021Updated 4 years ago
- Bring motion and visual selection to the :grep command☆16Jul 31, 2015Updated 10 years ago
- ☆17Updated this week
- Process vehicle network descriptions (CAN .dbc files)☆38Mar 31, 2026Updated last week
- aVisor: A Tiny Hypervisor for Raspberry Pi☆39Dec 13, 2025Updated 4 months ago
- Code examples for EB GUIDE☆11Nov 29, 2021Updated 4 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 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.
- An implementation of printf using c++11's variadic templates☆13Mar 25, 2019Updated 7 years ago
- A Scheme Interpreter for ARM Microcontrollers☆14Jan 15, 2014Updated 12 years ago
- mini-os for arm64☆16Nov 9, 2015Updated 10 years ago
- Similar to Artop editor example. View, add and delete element in arxml.☆40Apr 21, 2023Updated 2 years ago
- read/write elf info for windows☆14Apr 3, 2020Updated 6 years ago
- A demo app for embedding V8 engine, Rust and C++ in Android☆11Mar 25, 2023Updated 3 years ago
- ☆13Nov 20, 2025Updated 4 months ago
- Plot pixels on a 320x200 256c canvas☆11Jan 8, 2024Updated 2 years ago
- The tool provides an elegant way of accessing AUTOSAR module configurations than the conventional methods.☆20Jan 9, 2024Updated 2 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.
- C/C++ code style inspector☆16Jan 23, 2024Updated 2 years ago
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆23Sep 29, 2011Updated 14 years ago
- record metrics and logs☆10Apr 2, 2018Updated 8 years ago
- Statically-typed localization messages.☆10Oct 11, 2020Updated 5 years ago
- Package vxlan implements marshaling and unmarshaling of Virtual eXtensible Local Area Network (VXLAN) frames, as described in RFC 7348. …☆11Apr 20, 2016Updated 9 years ago
- Experimental Vulkan 3D Engine written in Go☆40Jan 5, 2025Updated last year
- A low level audio visualiser program for Linux using Wayland, Vulkan, and Pipewire, written in Rust.☆17Jul 23, 2023Updated 2 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last month
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- RVOS在VisionFive2开发板上的移植。☆16Apr 23, 2024Updated last year
- assembler with architecture-agnostic syntax and implemenations for arm32-a, arm32-m, i386, and x86-64☆15Jan 8, 2026Updated 3 months ago
- ☆23Jun 14, 2023Updated 2 years ago
- prplHypervisor™☆31Dec 1, 2017Updated 8 years ago
- tool to merge hexfiles in Motorola S19, Intel Hex or plain table format☆23Apr 7, 2025Updated last year
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- Android DAW with modular synthesis in mind☆16Apr 6, 2022Updated 4 years ago