Kernel source now released for both GPe devices, but still no full updates available.
Following right on the heels of HTC releasing the kernel source for the Google Play edition HTC One, Samsung has released its required code for the GPe Galaxy S4. This isn't at all surprising, as the manufacturers are required under their license to make the kernel source for these devices available. What is surprising is that the source is for Android 4.3, a build that as of now hasn't been pushed to either one of these devices.
We have to think that the kernel source code being published means that these updates will be on their way in short order. In the meantime those who need this kind of source code can start looking through it (search for i9505g at the source link below) — remember that this isn't everything needed to make a custom ROM, just the kernel bits. Keep on the lookout for those OTA's, folks.