On April 12th, 2024, Tuxedo Computers announced its Tuxedo Sirius 16 Gen2, a touted all-AMD gaming laptop running its custom Tuxedo Linux OS. The Sirius 16 Gen2, already available for order and configuration on the official Tuxedo website, is one of the latest laptops to leverage AMD's Hawk Point Ryzen 7 8845HS, which has a 17-watt higher default TDP than its lower-power 8840U and 7840U counterparts.
At the time of writing, it does seem that this is an EU-only laptop, but that could change with time— or shipping if you're determined enough.
