Repositories list

• xinu-VirtualBox

  Public
  C

  •

  Other

  •5•10•1•0•Updated Nov 1, 2024Nov 1, 2024

• xinu-galileo

  Public
  C

  •

  Other

  •6•17•1•1•Updated Nov 1, 2024Nov 1, 2024

• xinu-bbb

  Public
  C++

  •

  Other

  •15•12•1•0•Updated Nov 1, 2024Nov 1, 2024

• xinu-remoteservers

  Public
  Remote servers used by XINU

  C

  •2•1•0•1•Updated Jun 28, 2024Jun 28, 2024

• xinu-stm32

  Public
  Xinu OS for STM32

  embeddedstm32baremetal+ 1xinu

  C

  •

  Other

  •5•20•0•0•Updated Feb 20, 2024Feb 20, 2024

• xinu-orangepi

  Public
  C++

  •4•9•0•0•Updated Dec 5, 2023Dec 5, 2023

• xinu-upboard

  Public
  Xinu port for the UP Board platform

  C

  •1•1•0•0•Updated Dec 28, 2021Dec 28, 2021

• xkdb

  Public
  Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends

  debuggerkerneloperating-system+ 1xinu

  C

  •

  GNU General Public License v3.0

  •9•20•1•0•Updated May 16, 2021May 16, 2021

• xinu-arduino

  Public
  Xinu OS port for AVR atmega328p microcontroller (e.g. Arduino)

  arduinoarduino-unomicrokernel+ 4rtosxinuembedded-systemsxinu-os

  C

  •

  Other

  •5•21•0•0•Updated Nov 2, 2020Nov 2, 2020

• xinu-consoletools

  Public
  C

  •2•4•1•0•Updated Sep 23, 2019Sep 23, 2019

• xinu-iota

  Public
  2•1•0•0•Updated Apr 15, 2018Apr 15, 2018

• xinu-lite

  Public
  Bare metal interface version of Xinu

  C

  •2•6•0•0•Updated Dec 11, 2016Dec 11, 2016

• xinu-galileo-sdcard

  Public
  Contents of the SD Card in order to successfully boot Xinu from a Galileo

  0•1•0•0•Updated Aug 2, 2016Aug 2, 2016