Какие языки программирования надо изучать чтобы писать ОС?
Ассемблер хоть немного, чтобы загрузчик написать, а дальше что угодно. Лучше всего С++
Люди и на JS писали - https://habr.com/ru/articles/353524/
Единственный вопрос - зачем писать? Сейчас существует несколько операционных систем с годами наработок. И конкурировать с ними очень тяжело. Ты должен предложить что-то экстраординарное или занять какую-то нишу специализированных ОС. На компах доминирует винда, сторонник - свободного софта, где ты можешь настроить что угодно - значит Unix-подобное (Linux, FreeBSD). Хочешь apple - OS X (тоже основана на ядре linux). Нужна очень лёгкая и быстрая ОС - KolibriOS. Остальные системы крайне редки. Есть даже клон винды с открытыми исходниками, его уже больше 25 лет пилят (ReactOS)
На телефонах Android и IOS. подавляющее большинство устройств. Есть конечно Ubuntu Touch, Salfish и Аврора, но они мало распространены.
Почитай книжку:

С надо. С++ тоже надо.
Только такое направление сильно снижает возможность трудоустройства. Фактически, разработкой ОС занимаются всего несколько компаний: Microsoft, Red Hat, IBM, Oracle, Apple, Google и подобные им сверхгиганты индустрии - у остальных просто нет на это ресурсов. Чем ты будешь заниматься, если тебя туда не возьмут?
Начни с низкоуровневых и околонизкоуровневых: Ассемблер, тот же С. Ну и архитектуру ПК до мелочей, конечно же
С++/python