micro OS running on GBA

[avivace]

@Murplugg suggested in gbdev/awesome-gbdev#148:

Btw, there are more of these micro OS-es that runs on GBC / GBA, specifically:
Nut/OS (GBA): www.ethernut.de/api/group__xg_nut_arch_arm_gba.html

gbaunix: http://www.kernelthread.com/publications/gbaunix/, https://github.com/JALsnipe/gbaunix-0.0

µCUnix (GBC): Not sure where to begin, there are several pages here: https://www.google.com/search?q=uclinux+gameboy

[Murplugg]

Right. I was late in updating that other post, was looking for more specific info to make the post more useful and forgot to re-post.

• Nut/OS: Also has a page on Wikipedia: https://en.wikipedia.org/wiki/Ethernut
• uCLinux: I mis-wrote as "Unix". It seems to only have been emulated so I'm not sure that's interesting after all.