Popular repositories

1. xkdb xkdb Public

   Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends

   C 20 8

2. xinu-arduino xinu-arduino Public

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

   C 20 5

3. xinu-stm32 xinu-stm32 Public

   Xinu OS for STM32

   C 17 4

4. xinu-galileo xinu-galileo Public

   C 16 5

5. xinu-bbb xinu-bbb Public

   C++ 12 15

6. xinu-VirtualBox xinu-VirtualBox Public

   C 8 4