www.youtube.com/watch in this video at 0.18 sec they have selected texas as operating system. but the only option avalliable to me was RTX_kernal what file do i need to get OS texas