1587 Open source projects that are alternatives of or similar to Prettyos

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

RT-Thread is an open source IoT operating system.

rnk is a RTOS targeting ARM architecture.

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

An AArch64 hobbyist OS for the Raspberry Pi 3 B+

NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.

Phoenix-RTOS microkernel repository

Frosted: Free POSIX OS for tiny embedded devices

A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips

ERIKA Enterprise v3 RTOS

The core crate for Drone, an Embedded Operating System.

R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's const eval and generics

This is a tool for Linux kernel ftrace and perf events visualization

schedule and materials about my presentations

object-oriented C++ RTOS for microcontrollers

A toy monolithic kernel written in C++

CLI utility for Drone, an Embedded Operating System.

A component-based OS

A micro real-time operating system supporting task switching, delay function, memory allocator and critical section. It is writen on ARM Cortex-M3 assemble language, it runs successfully on STM32F103 MCU.

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

QP/C++ real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines

🍬 All-new kernel for @GreenteaOS

myLinux is a small UNIX like OS for embedded systems based on Westermo NetBox

Free, simple, extremely lightweight, stackless, cooperative, co-routine system (OS) for microcontrollers

Main kernel tree

A kernel written in Rust

Apex RTOS - A (somewhat) Linux compatible real time operating system

Abandoned overcomplicated Microkernel using modern x86_64 features

A small operating system where I experiment and learn osdev.

Simple microkernel (early stage)

Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome

ARM® Cortex®-M platform crate for Drone, an Embedded Operating System.

Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems

Cross Compiling NixOS to ARM as a replacement for Yocto

A community driven OS by the youth

RocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.

Ferret is a free software lisp implementation for real time embedded control systems.

A small kernel + OS based on how dreams work

A secure embedded operating system for microcontrollers

Supports de cours

Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a h…

The Lemon Operating System https://lemonos.org

Run iPhone (xnu-arm64) in a Docker container! Supports KVM + iOS kernel debugging (GDB)! Run xnu-qemu-arm64 in Docker! Works on ANY device.

Tutorial for rCore OS step by step (3rd edition)

An x86_64 hobbyist OS written in C and Assembly

A simple hobby operating system for the x86-64 architecture, written in C.

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

xbook2是一个基于x86处理器的32位操作系统，实现了大量的基础功能，可以拿来学习操作系统知识。

FreeRTOS for Jailhouse Cells

📚 Learn to write an embedded OS in Rust 🦀

x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]

Cloud Kernel - an open-source Linux kernel originated by Alibaba Operating System Team

Ghost, a micro-kernel based hobby operating system for the x86 architecture.

a little 64bit operating system written in c++ with smp support

RIOT - The friendly OS for IoT

QP/C real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines

The extensible bootloader for embedded system with application engine, write once, run everywhere.

A tool for gathering and visualizing kernel scheduling traces on Linux machines

Operating system for x86_64 based around a "keep it simple and make it work" philosophy.