Re: Not yet anyway.
AWS have been building in-house switches for 4+ years - initially to support 25Gbps before it was available from other vendors (https://datacenterfrontier.com/amazon-building-custom-asic-chips-to-accelerate-cloud-networking/) but also to support improvements in power usage and density.
Given that the focus of the devices is on data centre networking that is around 20% of Cisco's switching portfolio and that the data centre network market space is crowded already, I'm not sure AWS standing up support and sales infrastructure for their switches makes financial sense, particularly given AWS's optimisation towards their own requirements that may not fit a wider customer base.