Which open-source operating system in based on the Linux kernel and is known for its security, stability, and use in server environments?