gp32linux is a Linux port for the GP32 portable games console, an ARM 9TDMI-based device. It features frame buffer support.