I am writing software that makes use of these libraries and the source code of gnuboy-ex. I want to publish most of these to github, but I'm having trouble with licensing issues. The license for the gnuboy part is GPL, but which license applies to the code for the hardware-dependent part?