They are T61p https://www.techrepublic.com/article/from-windows-10-linux-ipads-iphones-to-hololens-the-tech-space-station-astronauts-use/ https://www.techrepubl

They are T61p https://www.techrepublic.com/article/from-windows-10-linux-ipads-iphones-to-hololens-the-tech-space-station-astronauts-use/ https://www.techrepublic.com/article/from-windows-10-linux-i... Most computer parts are made in China regardless of the vendor not including the CPU. Doubtful that they are using Libreboot, but that would be a good justification for using them.