Ich habe gerade ein Upgrade von Ubuntu 15.04 64-Bit auf Ubuntu 15.10 64-Bit durchgeführt. Ich habe gelesen, dass 15.10 den Kernel 4.1 oder 4.2 verwendet, aber ich habe festgestellt, dass mein Kernel nicht aktualisiert wurde.
Wenn ich das Terminal eintippe uname -r
, bekomme ich3.19.0-18-generic
Dasselbe in GRUB: Der einzige Kernel, den ich auswählen kann, ist 3.19.0-18
Kann jemand erklären, wie man den Kernel aktualisiert?