Does anyone know what the minimum system requirements are of RedHat Linux Advanced Server and Linux 8.0 Professional, or maybe where I could find that information on the web?