Isn't Selaco desktop only? The problem is GPL on consoles, because you can't ship GPL code to a console because it's impossible to meet the modify+re-link requirement since the consoles will only run signed code.