NNLinuxっていう軽量ディストリがあるらしいけど、どうなんだろ