Caja de herramientas para crear aplicaciones embebidas en Zig, con una capa de abstracción de hardware y soporte para placas y chips.
sypstraw/rpi4-osdev
Tutorial paso a paso para crear un sistema operativo bare metal que se ejecuta directamente en Raspberry Pi 4.
- Estrellas
- 3,775
- Forks
- 283
- Issues abiertos
- 0
- Último commit
- hace 2 meses
¿Qué es?
Este proyecto es un tutorial para crear un sistema operativo bare metal en Raspberry Pi 4. Bare metal significa que el código se ejecuta directamente en el hardware, sin un sistema operativo previo, así que el autor explica los pasos de bajo nivel que normalmente realiza un sistema durante el arranque: iniciar la CPU, controlar la pantalla y comunicarse con el hardware conectado.
La guía cubre lo necesario para prepararse antes de escribir código: una Raspberry Pi 4 con salida HDMI, una tarjeta microSD con Raspbian para comprobar el hardware y un compilador cruzado para el procesador Arm Cortex-A72. Documenta cómo compilar con la cadena de herramientas GCC de Arm en Linux o WSL y con Clang/LLVM en macOS, además de compilar directamente en la Pi.
El tutorial está organizado en partes, comenzando por el arranque inicial, y se publica bajo la dedicación de dominio público CC0. Agradece el código recopilado de los tutoriales bare metal para Raspberry Pi 3 de Zoltan Baldaszti y el inspirado en ellos.
Funciones clave
- 01Explica cómo arrancar y ejecutar código personalizado en el hardware de Raspberry Pi 4.
- 02Aborda la compilación cruzada para Arm Cortex-A72 con Arm GCC o Clang/LLVM.
- 03Explica los pasos de preparación, incluidos el uso de la tarjeta SD y la depuración por puerto serie.
- 04Está organizado en partes secuenciales, empezando por el arranque inicial.
- 05Se publica bajo CC0, por lo que el material se puede reutilizar libremente.
Casos de uso
- Aprender cómo arrancan las computadoras y cómo se comunica un sistema operativo con el hardware sin depender de otro sistema operativo.
- Empezar a programar bare metal para ARM64 en una Raspberry Pi.
- Usar el tutorial como base para crear un kernel propio para Raspberry Pi 4 como proyecto personal.
Inicio rápido
- 1
Instala GNU make en Ubuntu/WSL
sudo apt install make - 2
Instala LLVM con Homebrew en macOS
brew install llvm - 3
Descarga y descomprime el compilador cruzado gcc bare-metal AArch64 ELF de Arm desde la página de Arm GNU toolchain
- 4
Lee el tutorial y continúa con part1-bootstrapping
Antes de usarlo
- Se necesita una RPi4 y hardware adicional, como un cable serie TTL.
- El tutorial está dirigido únicamente a Raspberry Pi 4 y no es un sistema operativo de propósito general.
En colecciones
Temas
Preguntas frecuentes
- ¿Qué es rpi4-osdev?
- Tutorial paso a paso para crear un sistema operativo bare metal que se ejecuta directamente en Raspberry Pi 4. Este proyecto es un tutorial para crear un sistema operativo bare metal en Raspberry Pi 4. Bare metal significa que el código se ejecuta directamente en el hardware, sin un sistema operativo previo, así que el autor explica los pasos de bajo nivel que normalmente realiza un sistema durante el arranque: iniciar la CPU, controlar la pantalla y comunicarse con el hardware conectado.
- ¿rpi4-osdev es gratuito? ¿Qué licencia tiene?
- rpi4-osdev es open source bajo la licencia CC0-1.0. Revisa los términos de la licencia antes de usarlo en productos comerciales.
- ¿rpi4-osdev sigue mantenido?
- Actualizado en los últimos 6 meses. El último commit de rpi4-osdev fue el 3 sept 2026.
- ¿Para qué puedo usar rpi4-osdev?
- Aprender cómo arrancan las computadoras y cómo se comunica un sistema operativo con el hardware sin depender de otro sistema operativo. Empezar a programar bare metal para ARM64 en una Raspberry Pi. Usar el tutorial como base para crear un kernel propio para Raspberry Pi 4 como proyecto personal.
- ¿Cómo se instala rpi4-osdev?
- Instala GNU make en Ubuntu/WSL: sudo apt install make Instala LLVM con Homebrew en macOS: brew install llvm Descarga y descomprime el compilador cruzado gcc bare-metal AArch64 ELF de Arm desde la página de Arm GNU toolchain Lee el tutorial y continúa con part1-bootstrapping
- ¿Dónde consigo rpi4-osdev?
- El código fuente y las instrucciones de instalación están en GitHub: https://github.com/sypstraw/rpi4-osdev
Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.
Proyectos relacionados
Una tienda de aplicaciones basada en scripts de shell para Raspberry Pi y otras placas ARM con Debian o Ubuntu que automatiza la instalación de aplicaciones que no están disponibles en apt.
Conmutador KVM de hardware basado en dos Raspberry Pi Pico que permite compartir un teclado y un mouse entre dos computadoras y cambiar de equipo desde el borde de la pantalla.
Un sistema operativo ligero basado en Debian para computadoras de placa única, con menús para configurar el sistema e instalar software listo para usar.
Framework open source para programar perros y gatos robóticos cuadrúpedos con Arduino y Raspberry Pi, con control de marcha, servos e integración de IMU.
SDKs y firmware de código abierto para crear tus propios gadgets Muse con placas ESP32 y dispositivos Linux como Raspberry Pi.