After some people have asked for the Bitstream,
i just quote Deft:
Nowadays all bitstreams are auto-built in all available flavors for all platforms and publically available at the MEGA65 file host which is linked from mega65.org. Switch from icons to text/list mode to sort by date.
Here is the link: https://mega.scryptos.com/sharefolder/MEGA/MEGA65+filehost
The latest stable nexys bitstream is here:
Bitstreams -> Jenkins-Out -> mega65-core -> stable_base -> 9-b03d929
V9 is most recent from 9.12.2019. Flash files for boot time of under 1 second also available