real-xinu

Pinned Repositories

xinu-arduino
Xinu OS port for AVR atmega328p microcontroller (e.g. Arduino)
Language:C20 10 05
xinu-bbb
Language:C++12 12 215
xinu-consoletools
Language:C4 6 12
xinu-galileo
Language:C17 7 26
xinu-galileo-sdcard
Contents of the SD Card in order to successfully boot Xinu from a Galileo
1 5 00
xinu-lite
Bare metal interface version of Xinu
Language:C6 7 02
xinu-orangepi
Language:C++9 12 04
xinu-stm32
Xinu OS for STM32
Language:C20 8 05
xinu-VirtualBox
Language:C10 5 15
xkdb
Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends
Language:C20 4 29

real-xinu's Repositories

real-xinu/xinu-arduino
Xinu OS port for AVR atmega328p microcontroller (e.g. Arduino)
Language:C20 10 05
real-xinu/xinu-stm32
Xinu OS for STM32
Language:C20 8 05
real-xinu/xkdb
Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends
Language:C20 4 29
real-xinu/xinu-galileo
Language:C17 7 26
real-xinu/xinu-bbb
Language:C++12 12 215
real-xinu/xinu-VirtualBox
Language:C10 5 15
real-xinu/xinu-orangepi
Language:C++9 12 04
real-xinu/xinu-lite
Bare metal interface version of Xinu
Language:C6 7 02
real-xinu/xinu-consoletools
Language:C4 6 12
real-xinu/xinu-galileo-sdcard
Contents of the SD Card in order to successfully boot Xinu from a Galileo
1 5 00
real-xinu/xinu-iota
1 8 02
real-xinu/xinu-remoteservers
Remote servers used by XINU
Language:C1 6 02
real-xinu/xinu-upboard
Xinu port for the UP Board platform
Language:C1 8 01