Did some quick tests, I can compile and flash a simple firmware (generic caravel, unrelated to my project) and it works as expected.