Dragora is a trustworthy GNU/Linux-Libre distribution based on the concept of simplicity with the goal of being a multi-purpose operating system. Dragora respects the freedom of the user with the values of Free Software and provides control to those who use it. It is developed entirely by volunteers and it is published under the terms of the GNU General Public License.
GNU Mach is the microkernel upon which a GNU Hurd system is based. It provides an Inter Process Communication (IPC) mechanism which the Hurd uses to define interfaces for implementing in a distributed multi-server fashion the services a traditional operating system kernel provides. Mach is particularly well-suited for SMP and network cluster techniques. Thread support is provided at the kernel level, and the kernel itself takes advantage of that. Network transparency at the IPC level makes resources of the system available across machine boundaries.