https://vectops.com/2022/02/dual-booting-arch-linux-and-windows/