At the moment the LTS kernel is somewhat 4.14.xx and the mainstream kernel 4.15.xx.
I have both kernels installed. They are doing a great job.
But for one application (MPLABX with PICKIT3) i need a kernel less or equal 4.13.xx.
This kernel type (4.13.xx) has been working long time without any problems.
How can i get this one back?
I could not find these kernels in the antergos repo neither in AUR.
I want to have it as an alternative boot option.