Yes. You can use the Hardware Development Kit HDK either in an AWS-provided AMI, or in your on-premises development environment.