The devices will run windows 10 but this is end of life as of October this year so no more updates etc from Microsoft. They have all been reset and have Linux Mint Cinnamon edition 64bit installed, this is set to run out of the box so will require user to set up on first power up.
eBay