Here you can find a collection of the stock kernels for Galaxy S4 Mini
I'm starting this thread because i want all of you to have all the stock kernels in one place.
Because i own a i9195, i will start with this.
if you have stock kernels for i9190 or i9192 feel free to pm me.
How to Flash a Kernel !
1. download the kernel and extract boot.tar.md5 from the archive
2. run Odin as an administrator
3. load the kernel in the AP button
4. press start
That's it !
Last edited: