This is a continuation of this blog post, where we created our own custom peripheral. If you have not already done this, go though the how-to and come back here when you are done.
The github project can be found here. Enjoy!
Ok, we have generated our bitstream and are ready to export our hardware to SDK. Go to File -> Export -> Export Hardware to SDK ... Make sure you select "Launch SDK" from the options.