3 ms·

Perhaps the headline should clarify that it's talking about GNU/Linux

• rbanffy 5y ago
  It's always useful to differentiate between embedded, mobile and desktop/server-grade operating systems.