On 2/7/2017 8:19 AM, Paul Boddie wrote: > Plus, I don't really see Linux-the-kernel as the future, anyway. Why not? It has such momentum now; it would be a lot of work to port all the drivers to anything else. Matt