众所周知，Linux是一个操作系统。