Skip to content
View adolfogc's full-sized avatar

Block or report adolfogc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

OOSS

Operating systems, micro-kernels, hypervisors.
18 repositories

Bastille is an open-source system for automating deployment and management of containerized applications on FreeBSD.

Shell 1,023 162 Updated Feb 28, 2026

Phoenix-RTOS microkernel repository

C 157 45 Updated Mar 2, 2026

The Xous microkernel

Rust 853 108 Updated Mar 1, 2026

NOVA Microhypervisor

C++ 445 113 Updated Feb 25, 2026

Contiki-NG: The OS for Next Generation IoT Devices

C 1,477 750 Updated Feb 27, 2026
BitBake 47 25 Updated Mar 2, 2026

A container image that is able to run bitbake/poky. It has helpers to create users and groups within the container. This is so that the output generated in the container will be readable by the use…

Shell 252 106 Updated Sep 7, 2024

Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)

Go 23,015 822 Updated Feb 28, 2026

QP/C Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M MCUs).

C 1,240 281 Updated Mar 1, 2026

Balena support for RaspberryPI boards

BitBake 208 90 Updated Mar 2, 2026

Secure and fast microVMs for serverless computing.

Rust 32,757 2,268 Updated Mar 2, 2026

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

C 14,574 8,728 Updated Mar 2, 2026

A virtual machine for microcontrollers.

C 19 2 Updated Oct 4, 2022

Quickly build and run kernels inside a virtualized snapshot of your live system

Python 761 81 Updated Feb 23, 2026

An abstraction layer across RTOS, baremetal, and user-space Linux environments

C 338 195 Updated Feb 4, 2026

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

RobotFramework 2,291 411 Updated Mar 2, 2026

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

C 3,493 1,442 Updated Feb 27, 2026

EVE is Edge Virtualization Engine

Go 536 178 Updated Mar 2, 2026