Red Hat (MAGMA)