Not related to Pocket PC, a PDA from 2000's running Microsoft Windows.
How long did it take to flash new distro?
Takes a couple minutes to flash a new OS. The team is making a tool https://test.parts that can flash a distro from your browser using WebUSB... which is so slick! For this demo I think it was flashed over SD and boots from the internal eMMC.