It's still plenty small enough for many many embedded uses and most
people are more than happy with it. The reason that it's not even smaller
is no one has stepped forward to do the trimming. It's easy enough to
do, but we can only assume from the fact that no one's done so is that
it's really not that important.
If you think it's important, either make it happen or pay someone else
to make it happen.
-- "Love the dolphins," she advised him. "Write by W.A.S.T.E.." - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/