There's nothing like a fresh batch of source code to get you through another Monday morning. Samsung has just posted the kernel source for two of its newer S4 variants, the Galaxy S4 active (i9295), and the dual-SIM version of the Galaxy S4 Mini (i9192). Samsung has been on an open source run lately with the AT&T GS4 and Galaxy Tab 8.0 going up just last week.

gs4c

If you're the developer type who really lives for this, grab the Jelly Bean code at Samsung's open source pages linked below.

[GS4 Active source, GS4 Mini dual-SIM source]