Is there an OS that uses Linux as the kernel but then no GNU software on top of that? It would be interesting to see, at least.