• Skip to main content
  • Skip to primary sidebar
  • Inicio
    • Acerca de
    • Cookies y RGPD
  • Sistemas Operativos
  • Tipos de Raspberry Pi
    • Mejores microSD
  • Glosario
  • Blog
    • Alternativas
    • FAQ
  • Contacto

Raspberry para torpes

pero para torpes, torpes

XINU : Otro sistema operativo para Raspberry Pi

13 enero, 2016 by manuti Leave a Comment

Además de la superlista de Sistemas Operativos disponibles para Raspberry Pi, de vez en cuando publico alguna información de otras opciones disponibles sobre todo si son raras.

Ese es el caso de XINU, «Xinu Is Not Unix», es un acrónimo recursivo que significa Xinu no es Unix y que ellos mismos definen en su web de la universidad americana donde se creó para la enseñanza de sistemas operativos:

xinu-logo

XINU no es UNIX ya que aunque comparte conceptos e incluso nombres con Unix y Linux, el diseño interno es completamente diferente. Xinu es un sistema operativo pequeño y elegante que soporta creación dinámica de procesos, asignación dinámica de memoria, conexión a redes, sistema de ficheros local y remoto, un entorno de tipo «shell» para controlar el sistema operativo y funciones de Entrada/Salida independiente de los dispositivos. El pequeño tamaño de Xinu lo hace ideal para entornos y proyectos «embebidos».

Se trata de solo el núcleo o kernel que tendréis que compilar vosotros mismos y pegar encima de una instalación para pruebas de Raspbian (OJO que podría quedar inutilizada).

En GitHub tenéis el código fuente en general: https://github.com/xinu-os/xinu

Las instrucciones concretas para crearlo desde un ordenador con GNU/Linux o desde tu propia Raspberry Pi con Raspbian están en: https://embedded-xinu.readthedocs.io/en/latest/arm/rpi/XinuPi.html

Y os las traduzco aquí más o menos:

Hay que tener instalado git y las herramientas de compilación, primero descargamos el software desde una Terminal :

git clone https://github.com/xinu-os/xinu
cd xinu

Y ahora lo compilamos para usarlo en la Raspberry Pi con el siguiente comando desde la carpeta dónde lo descargamos:

make -C compile PLATFORM=arm-rpi

Al final optenemos un fichero con nombre xinu.boot dentro de la carpeta compile.

Cthulhu Warning Sign-100Ahora viene un paso con el que nos cargamos el núcleo, el kernel de Raspbian para instalar el de Xinu así que no lo hagáis con vuestro Raspbian o SD normal, sino con una de prubas.

 

También te puede interesar ►   Disponible Ubuntu 19.10 sin bug para Raspberry Pi 4

 

Ahora cogemos este fichero xinu.boot y lo renombramos como kernel.img y lo copiamos en la partición de arranque de la SD, lo podemos hacer desde Raspbian mismo.

sudo cp /boot/kernel.img /boot/kernel.old
sudo cp xinu.boot /boot/kernel.img

O apagando la Raspberry Pi y haciéndolo desde Windows con una copia en USB del fichero y la microSD con el sistema operativo.

Ahora al reiniciar, si todo a salido bien tocará manejar lo que tenemos entre manos, así que nada mejor que los libro oficiales para aprender de XINU: https://www.cs.purdue.edu/homes/comer/osbooks.html

  • xinu1.pc.cover.icon Operating System Design Volume 1: The XINU Approach, PC version, (with T. Fossum), 1988. ISBN 0-13-638180-4
  • xinu1.mac.cover.icon Operating System Design Volume 1: The XINU Approach, Macintosh version, (with S. Munson), 1989. ISBN 0-13-638529-X
  • xinu2.cover.icon Operating System Design Volume 2: Internetworking with XINU, 1987.
    ISBN 0-13-637414-X 025
  • xinu1.cover.icon Operating System Design – The XINU Approach, Second Edition, 2015.
    ISBN 9781498712439

Comparte esto:

  • Haz clic para compartir en Facebook (Se abre en una ventana nueva)
  • Haz clic para compartir en Twitter (Se abre en una ventana nueva)
  • Haz clic para compartir en WhatsApp (Se abre en una ventana nueva)
  • Haz clic para compartir en Telegram (Se abre en una ventana nueva)
  • Más
  • Haz clic para compartir en Pinterest (Se abre en una ventana nueva)
  • Haz clic para compartir en Pocket (Se abre en una ventana nueva)
  • Haz clic para enviar un enlace por correo electrónico a un amigo (Se abre en una ventana nueva)
  • Haz clic para imprimir (Se abre en una ventana nueva)

Artículos relacionados:

ARMbian otro sistema operativo para BananaPRO Programas para instalar el sistema operativo de Raspberry ¿Qué sistema operativo instalar en Raspberry? Probando Tizen el sistema operativo de Samsung
También te puede interesar ►   ACTUALIZADA LISTA DE SISTEMAS OPERATIVOS

Filed Under: sistemas operativos Tagged With: SO, xinu, xinu is not unix

Primary Sidebar

Entradas y Páginas Populares

  • Mi Raspberry Pi no arranca o no enciende
    Mi Raspberry Pi no arranca o no enciende
  • Ubuntu 20.04 LTS para Raspberry Pi
    Ubuntu 20.04 LTS para Raspberry Pi
  • Raspberry Pi : Sistemas Operativos
    Raspberry Pi : Sistemas Operativos
  • Problemas de alimentación USB en la Raspberry Pi 3
    Problemas de alimentación USB en la Raspberry Pi 3
  • Alimentar la Raspberry Pi por el GPIO
    Alimentar la Raspberry Pi por el GPIO
  • Poner la IP fija en OMV
    Poner la IP fija en OMV
  • SD Formatter para formatear bien la SD.
    SD Formatter para formatear bien la SD.
  • raspi-config | Configuración inicial de Raspbian
    raspi-config | Configuración inicial de Raspbian
  • Configurar una pantalla LCD 3.5"
    Configurar una pantalla LCD 3.5"
  • Instalar OSMC en la Raspberry Pi
    Instalar OSMC en la Raspberry Pi

Categorías

Archivos

RASPBERRY PI | RECOMENDACIONES

Raspberry Pi Spain RAS-4-4G - Placa Base Pi 4 Modelo B / 4 GB SDRAM (1822096)
Raspberry Pi Spain RAS-4-4G - Placa Base Pi 4 Modelo B / 4 GB SDRAM (1822096)
185,00 EUR
Comprar en Amazon
Samsung EVO Select - Tarjeta de Memoria microSDXC de 32 GB con Adaptador SD, 95 MB/s, UHS1, Color Verde y Blanco
Samsung EVO Select - Tarjeta de Memoria microSDXC de 32 GB con Adaptador SD, 95 MB/s, UHS1, Color Verde y Blanco
Comprar en Amazon
Raspberry Placa Base PI 3 Modelo A+, Cortex a 1.4GHZ, WiFi 5GHZ (11811853)
Raspberry Placa Base PI 3 Modelo A+, Cortex a 1.4GHZ, WiFi 5GHZ (11811853)
65,00 EUR
Comprar en Amazon
Raspberry Pi 4 Computer Official Premium Kit with MicroSD 32GB S.O. preloaded (2GB RAM, Black)
Raspberry Pi 4 Computer Official Premium Kit with MicroSD 32GB S.O. preloaded (2GB RAM, Black)
195,00 EUR
Comprar en Amazon
Rebajas Logitech MK270 Combo Teclado y Ratón Inalámbrico para Windows, 2,4GHz Inalámbrico, Ratón Compacto, 8 teclas multimedia y de acceso directo, 2 años de batería, PC, PC Portátil, QWERTY Español - Negro
Logitech MK270 Combo Teclado y Ratón Inalámbrico para Windows, 2,4GHz Inalámbrico, Ratón Compacto, 8 teclas multimedia y de acceso directo, 2 años de batería, PC, PC Portátil, QWERTY Español - Negro
Amazon Prime
30,00 EUR
Comprar en Amazon
Rebajas Logitech K400 Teclado Táctil Inalámbrico Plus para TV con un Control Multimedia y Panel Táctil, Teclado HTPC para TV conectada a PC, Windows, Android, Chrome OS, Portátil, QWERTY Español - Negro
Logitech K400 Teclado Táctil Inalámbrico Plus para TV con un Control Multimedia y Panel Táctil, Teclado HTPC para TV conectada a PC, Windows, Android, Chrome OS, Portátil, QWERTY Español - Negro
Amazon Prime
35,99 EUR
Comprar en Amazon
Raspberry Pi 4 Model B 2GB ARM-Cortex-A72 4x 1,50GHz, 2GB RAM, WLAN-ac, Bluetooth 5.0, LAN, 4x USB, 2x Micro-HDMI
Raspberry Pi 4 Model B 2GB ARM-Cortex-A72 4x 1,50GHz, 2GB RAM, WLAN-ac, Bluetooth 5.0, LAN, 4x USB, 2x Micro-HDMI
165,00 EUR
Comprar en Amazon

Última actualización el 2023-03-27 / Enlaces de afiliados / Imágenes de la API para Afiliados

Suscríbete al blog por correo electrónico

Introduce tu correo electrónico para suscribirte a este blog y recibir notificaciones de nuevas entradas.

Únete a otros 3.610 suscriptores

© 2013–2023

Este sitio web usa cookies para mejorar su experiencia como usuario ► Aceptar Rechazar ◘ Si necesita más información
Política de Cookies

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may have an effect on your browsing experience.
Necessary
Siempre activado
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Non-necessary
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.
GUARDAR Y ACEPTAR