My machine primarily runs Windows 10, but I have partitioned off about 200 GiB to run Ubuntu. I also have a Raspberry Pi, which used to run Raspbian but now is set up for Windows 10 IoT core(it was for a specific project).