Hacker News new | ask | show | jobs
by CaliforniaKarl 3089 days ago
It does say "Debian Linux*", which I take to include Debian 9.
1 comments

says debian 8.* and 7.* which i take to mean 8.1 and 7.1, expressly excluding 9
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...