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
They are using uVision4 and supplied project files. You should request the materials you need from The University of Texas at Austin.