Do any of the devs know how difficult it would be to port the raspi build to the GameShell? Here's a link to the hardware itself:

ClockworkPi Wiki[wiki.clockworkpi.com]

With how good Steam Link streaming has gotten, it would be so fun to play some steam games on this little guy.