You can mine with linux and windows. Go to the OP and join the discord has more information on mining. Price is not holding up maybe buy it at the exchange is a better option.
I checked, and you were right.
With current situation, it is better to buy the Grin coin directly from exchanges, rather than try mining it.
Mining party is very competitive now.