alix-gao / osLinks
operating system
☆19Updated 4 years ago
Alternatives and similar repositories for os
Users that are interested in os are comparing it to the libraries listed below
Sorting:
- ☆10Updated 6 years ago
- 3dof hexapod firmware sources (arduino) + remote control sources (android)☆17Updated 9 years ago
- ☆11Updated this week
- A SM^2 (Smart and Small) RTOS for AIoT Devices.☆30Updated 4 months ago
- A Bootloader for my Operating System☆10Updated 10 months ago
- BootLoader for ToyOS, developed under EDK2, support UEFI.☆16Updated last year
- Simple game, which can be run on UEFI☆11Updated 6 years ago
- A tool to execute an elf binary in the UEFI shell environment.☆10Updated 9 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- Yet another tiny OS☆18Updated 8 years ago
- C standard library for embedded systems☆12Updated 3 weeks ago
- ☆17Updated 3 months ago
- CenoOS is a real time operating system for IOT devices from cenocloud.☆18Updated 6 years ago
- ☆12Updated 7 years ago
- a screen snapshot application under UEFI☆10Updated 11 years ago
- Small UNIX-like Real Time Operating System based on FreeRTOS kernel.☆16Updated 3 years ago
- Repository containing all UEFI development I am doing☆13Updated 9 years ago
- framework for a simple user space for lk☆24Updated 3 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 10 months ago
- ARM64 version of Simple UEFI Bootloader☆27Updated 6 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆12Updated 6 years ago
- Howto setup a UEFI Development PC.☆10Updated last month
- it's popular to keep reference lists on github☆13Updated 3 years ago
- 🔱 A WIP SMP-aware micro-kernel☆10Updated last month
- Interesting project,the Fast Real Time Operating Systems( FOS-RTOS)☆24Updated 3 years ago
- EDK II EFIDroidUi☆12Updated 7 years ago
- An embedded operating system kernel☆15Updated 8 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 years ago
- A hobbyist UEFI x86-64/long-mode Operating System.☆10Updated 2 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 10 years ago