They  are stck1a32wfcr 2015 model

I don't know how to use them or how to set them up to boot to operating system

They seem to go to bios, but I no idea if I got the right settings or if they have any operating systems in

I while selling them as they are 

x 2 available, both have chargers

If you want a specific one, let me know. Otherwise, I will send a random one from the 2 off them

Keep in mind that they are sold as they are