байт-код Python, интерпретатор и виртуальная машина

Это действительно обширный вопрос, и я в основном ищу ресурсы, где я могу узнать больше о следующем.

I знайте, что интерпретатор Python написан на C и создает байт-код для запуска на виртуальной машине Python, также написанной на C (верно?). Мой вопрос: можно ли реализовать оба из них в самом Python? Думаю, к чему я иду, это (техническая) возможность написать что-то вроде ОС на python, особенно БЕЗ статической компиляции чего-либо?

Если я правильно понимаю, у python нет ассемблера, который должен был бы быть написано также на питоне. Могут ли эти вещи технически (выполнимо?) Быть выполнены? Или динамическая типизация Python создаст какие-то проблемы?

Я немного знаю об архитектуре микропроцессоров, сборке и машинном коде, о том, что недавний выпускник EE изучает в школе. Но я теряюсь, глядя на всю картину для языков более высокого уровня, таких как python.