I got a couple of Microsemi’s C900502 10.525 GHz X-band Doppler radar motion sensors a while ago. This batch was made in UK and had “UK patents 2243495