Lucasvr just released his linux bootloader for the GP32. Author writes;”The bootloader is working fine — I’ve tested it against the working kernel image, 2.4.13. I’ve also finished another patch, adding s3c2400 cpu information at s3c24xx initialization, but it wasn’t sufficient enough to make 2.6.12-rc2 to send data through the serial line.”Lucasvr’s website and blog have more information.