Major Linux Problems on the Desktop, 2016 Edition
He&#x27;s right.<p>Many of the driver problems come from the fact that Linux finally worked on the desktop about the time desktop machines were replaced by laptops.  Desktops with slots tended to have relatively well-defined hardware, and plugging in third party hardware was normal.  This is much less true for laptops.  OS development for laptops requires that laptop. It needs a Q&#x2F;A organization which has one of everything you support. Linux lacks that.<p>Microsoft got drivers under control with the Static Driver Verifier, which uses automatic formal proofs of correctness to determine whether a driver can crash the kernel.  (The driver may not control the device correctly, but at least it won&#x27;t blither over kernel memory or make a kernel API call with bogus parameters.  So driver bugs just mean a device doesn&#x27;t work, and you know which device and driver.) All signed Windows drivers since Windows 7 have passed that.  This has eliminated most system crashes caused by drivers.  Before that, more than half of Windows crashes were driver related.  Linux has no comparable technology.<p>The monolithic Linux kernel is just too big. What is it now, 20,000,000 lines? There&#x27;s no hope of debugging that. It shows.