Have you tried asking? Samsung doesn't have the kernel sources for older devices on their website anymore. I needed the kernel for an old phone (the galaxy tre

Have you tried asking? Samsung doesn't have the kernel sources for older devices on their website anymore. I needed the kernel for an old phone (the galaxy trend 2 lite), so I asked them and they put it back up temporarily for me. The GPL doesn't say 'have your sources up on a website', they say 'if anyone asks for them, share the sources'.