Booting Windows onto Jetson TK1?

Is it possible to boot Windows on a Jetson TK1 if I have a SATA hard drive with Windows installed on it? If so how do I do this?

So far as I know there has never been a windows port for TK1. Both the architecture and the specific board would need a lot of software customizing, which is a difficult job.