Re: Some issues when running cinnamon desktop with F32