It does say "Debian Linux\*", which I take to include Debian 9. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

CaliforniaKarl on Jan 10, 2018 | parent | context | favorite | on: Intel has released new CPU microcode for download

It does say "Debian Linux*", which I take to include Debian 9.

pero on Jan 10, 2018 [–]

says debian 8.* and 7.* which i take to mean 8.1 and 7.1, expressly excluding 9

abrowne on Jan 10, 2018 | [–]

The star is Intel's weird house style for trademarks. They add a star to any third-party trademark, and in the footer there's "* Trademarks", which links to https://www.intel.com/content/www/us/en/legal/trademarks.htm...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact