http://www.hp.com/hpinfo/newsroom/press_kits/2012/ppsinfluencersummit2012/HP_t410_AiO.pdf According to that, it supports PXE though. Also seems weird, thin client not supporting PXE. But leave it to HP to do those few crazy things nobody else even considers.

08:48

<vagrantc>

it's probably booted to thinpro OS

08:48

that's what their "zero" client is ... boots off of local flash, not the network

win32-loader: win32-loader.exe adds a "PXE - Network boot" option to the Windows boot manager. It's developed for Debian and it uses http://ipxe.org for the network booting. Download it from http://ftp.debian.org/debian/tools/win32-loader/stable. More info at http://goo.gl/FPD7Zv