Pretty much all major laptop vendors have Ryzen 4xxx models. Some like Dell only put them in their lower tier models. https://www.amd.com/en/shop/us/Laptops ht

Pretty much all major laptop vendors have Ryzen 4xxx models. Some like Dell only put them in their lower tier models. https://www.amd.com/en/shop/us/Laptops https://www.amd.com/en/shop/us/Laptops should get you started on where to look. 5xxx models are just appearing, look up the Zephyrus G15.