Hi,
we upgraded to Linux Kernel 4.14.11 which is
available now in our repository.
It comes with the usual improvements, bugfixes and so on.
It fixes the meltdown and spectre bugs discovered in Intel and AMD CPUs
It is recommend to upgrade for all users.
Kernel 4.13.5 got removed from our repos.
Greetings
Leszek
--
ZevenOS / Neptune Team
http://www.zevenos.com / http://www.neptuneos.com
Leszek Lesner <leszek@xxxxxxxxxxx>