Comment by andresmanz

I think that was just a comparison, because Linux can be very small.