Hilariously, the windows boot manager supports dual booting as well. So one can use it instead of grub to dual boot.