Yes, it can generate the bitstream, but after I do Export Hardware -> Launch SDK, it won't properly make the system_wrapper.hdf file. Also, when I write #include "PmodJSTK2.h" in my main, it says it cannot find the header file, even though it's already there. Any suggestions please? I've been trying to make this work the whole day.