mini-os for arm64
☆16Nov 9, 2015Updated 10 years ago
Alternatives and similar repositories for mini-os
Users that are interested in mini-os are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (wip) an UNIX-like OS for aarch64☆14Oct 22, 2023Updated 2 years ago
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 6 years ago
- Porting FreeRTOS to QEMU(-M virt -cpu cortex-a57)☆11Aug 29, 2018Updated 7 years ago
- Notes and code for developing hobby OS's for the Raspberry PI☆28Nov 30, 2014Updated 11 years ago
- user-space elf loader☆16Nov 18, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A small library to help rewrite / modify the AST of a Go (golang) program☆17Mar 21, 2015Updated 11 years ago
- ☆19Jul 13, 2015Updated 10 years ago
- Synchronous Slave FIFO Interface between Xilinx Spartan 3E and Cypress FX3☆15Mar 11, 2015Updated 11 years ago
- Generic prefix tree for golang☆13Apr 25, 2025Updated 11 months ago
- a redis canal by rust☆11Mar 7, 2020Updated 6 years ago
- Mirror of git.qemu.org/dtc.git☆13Updated this week
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆194Jul 22, 2023Updated 2 years ago
- Simple OS with memory protection.☆18Updated this week
- ARM-based Hypervisor for Real-Time Embedded Systems☆20Mar 5, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- websocket tcp/udp proxy (based on websockify-c)☆14Oct 6, 2017Updated 8 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆55Oct 2, 2021Updated 4 years ago
- A gdbstub for connecting GDB to a RISC-V Debug Module☆30Oct 7, 2024Updated last year
- Wayland compositor with hacks for Rockchip Linux SDK☆22Dec 12, 2025Updated 3 months ago
- Go library to follow a file for changes; e.g. "tail -F".☆20Feb 17, 2026Updated last month
- Android-RPi Kernel Manifest☆13Dec 10, 2024Updated last year
- This command can be run to watch a cgroup for OOM events and run some subcommand.☆14Dec 11, 2014Updated 11 years ago
- Collection of patches for nginx to run it as a Nanos unikernel☆11Sep 21, 2023Updated 2 years ago
- ☆22Sep 24, 2023Updated 2 years ago
- 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.
- Turn your keyboard and mouse connected to your computer into a bluetooth hid device.☆17Jan 22, 2024Updated 2 years ago
- Nanos klib for NVIDIA GPUs☆14Mar 25, 2025Updated last year
- Golang Zipkin Tracing Client☆18Jan 8, 2018Updated 8 years ago
- A teaching operating system on raspberry pi 3/4 ported from xv6☆17Feb 25, 2022Updated 4 years ago
- Allwinner H5/ H3 / H2+ boards microusb FEL installer for H3Droid / Armbian via https://linux-sunxi.org/FEL/USBBoot☆13Jun 20, 2019Updated 6 years ago
- This example demonstrates the use of the Generic Interrupt Controller (GIC) in a baremetal environment.☆14Apr 2, 2024Updated last year
- Snowman decompiler☆14Mar 8, 2023Updated 3 years ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆15Aug 27, 2021Updated 4 years ago
- Package reactLog is reaction middle-ware for standard golang log☆11Oct 10, 2015Updated 10 years ago
- 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.
- rnk is a RTOS targeting ARM architecture.☆37Jan 9, 2026Updated 2 months ago
- A simple Aarch64 hypervisor for Raspberry Pi☆37Jul 23, 2020Updated 5 years ago
- Raft transport layer that implements the Redis protocol☆15Nov 3, 2020Updated 5 years ago
- Go library for representing and applying patches to modify existing Go structures☆56Feb 4, 2017Updated 9 years ago
- 用于Rust的Android API的高级封装☆18Oct 24, 2025Updated 5 months ago
- Minimal SSH server for embedded applications.☆19May 28, 2024Updated last year
- Minos2 is a micro-kernel OS☆135May 3, 2022Updated 3 years ago