Во-первых, это давно было, во-вторых - для GB Color, а это Z80, GBA - ARM + Z80. А для GBA ничего подобного нахаляву доступного мне не попадалось. Да и не надо никому там операционной системы, скорее всего. Библиотеками народ обходится.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)