There are 1 repository under baremetal-os topic.
Incremental system software for Raspberry Pi. From a blinking LED to a video game.
Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black and similars) based on the ARINC 653 Part 1 specification
A lightweight kernel and operating system for Raspberry Pi
My bare-metal experiments with the RaspberryPi
Configuration and test tools for the ARINC653 Real-Time Operating System (RTOS)
The kernel of the Classic Operating System. Written in ARM ASM and designed for the Raspberry Pi Zero.
A bare machine memory monitor for the RPi 1, Model B
Source code to Bare Metal Raspberry Pi 4(b) OS which prints Hello World via TTL
Repository containing code snippets, wikis and half baked knowledge on the Raspberry Pi 4
Example with System Operating (QuarkTS) in AVR - ATmega1284p
Bootable OS supporting process scheduler, virtual memory, network driver and so on.