Proxima is a linux distribution