I actually run in the same problem.
I just checked out the development-19.05 branch, so no need to wait for release
Dont forget to run a submodule afterwards. So the complete command is:
Some other remark: Different from the Getting started guide and the older version of the HiFive board the welcome program does not emmit the “Are the LEDs changing” message anymore. It just emmits the logo and “Welcome to SifFive” and then the LED is flashing in nice colors.
BTW: The SDK examples can only be compiled with the SiFive version of RISC-V gcc, because of CLIC csr registers. In addtion also gdb must be from SiFive build