--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on July 2019 ---
Hello, Next to the article "Habemus Frama-C in Fenestris (Frama-C on Windows, with WSL)" authored by André at Frama-C's blog, Allan has done some more investigations and suggests to use VcXsrv as X server instead of Cygwing/X. An update of the installation process for "Frama-C 19 (Potassium)" on "Windows 10" has been issued at https://github.com/Frama-C/Frama-C-snapshot/blob/5eb3bf11f6d7ca4c2bb074cca7a1a428874a96d9/INSTALL.md Do not hesitate to give us your feedback or suggestions, either via comments to the pull request   https://github.com/Frama-C/Frama-C-snapshot/pull/25 or a message to frama-c-discuss. Thank's to them, -- Patrick.