if you get a coreboot compatible laptop you can burn GRUB into your firmware so that it can't ever be destroyed by windows.
Then you can boot into linux by having GRUB load the /boot/grub/grub.cfg file in your linux FS, or load windows by chainloading into another payload in firmware (e.g. SeaBIOS) that can load windows.
This is kinda advanced though, and there is a big limitation in that you can only run BIOS (not UEFI) because EDK2, which is the only coreboot payload that can do UEFI can't be chainloaded into from grub
tbh 9 months on iss isn't too long, they're experienced astronauts and they had their ride back docked to the iss for a long while anyway. it's probably way more miserable having to hang out with dumbass celebrities for the rest of your life
very neat
software is always better when there's a face behind it