I just wanted to tell you about http://en.wikipedia.org/wiki/GP2X
Though it does still have some GPL violations it's definitely one of the coolest consoles out there, because everyone can easily code for it. (No Purebasic won't run on it since it is ARM Processor based)
I know but since I saw a Thread on a german Ubutnu forum where many of them didn't seem to know about it, I thought that it might interest some people here.
Before the GP2X, GP32 was also based on a Linux kernel, there was a lot of news about the fact that they violate the GPL by not providing their sourcecode ...