Processed: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo

To: Apollon Oikonomopoulos <apoikos@debian.org>
Cc: debian-kernel@lists.debian.org
Subject: Processed: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 10 Jan 2018 10:15:09 +0000
Message-id: <[🔎] handler.s.B.15155791685311.transcript@bugs.debian.org>
References: <[🔎] 20180110100619.GA22970@marvin.dmesg.gr> <[🔎] 20180110100619.GA22970@marvin.dmesg.gr>

Processing control commands:

> found -1 3.16.51-3+deb8u1
Bug #886822 [src:linux] linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
Marked as found in versions linux/3.16.51-3+deb8u1.

-- 
886822: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886822
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#886822: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
  - From: Apollon Oikonomopoulos <apoikos@debian.org>

Prev by Date: Bug#886822: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
Next by Date: Bug#878018: [solved]linux-image-4.9.0-3-amd64: Sound broken with snd_fm801
Previous by thread: Bug#886822: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
Next by thread: Bug#886822: linux: KPTI backport lacks pti-related flags in /proc/cpuinfo
Index(es):
- Date
- Thread