Cool, but I think it's very unfortunate that the HDK license is so unfree -- it looks like you can't ever use the HDK outside AWS (https://github.com/aws/aws-fp

Cool, but I think it's very unfortunate that the HDK license is so unfree -- it looks like you can't ever use the HDK outside AWS (https://github.com/aws/aws-fpga/blob/master/hdk/LICENSE.txt#L96-L98 https://github.com/aws/aws-fpga/blob/master/hdk/LICENSE.txt#...).