redborder SE only provides images based on Linux kernel. It does not support, at the moment, image provisioning based on other manufacturers’ operating systems such as, for instance, Microsoft or Apple.