Уже давно гуляет идея написать операционную систему на java или другом управляемом коде и таким образом отказаться от защиты адресного пространства и других аппаратных гарантий. Но сейчас можно по другому.
Идея такая: пишем модуль ядра (.ko), который будет тащить с диска пользовательский код и пускать на нем треды в контексте ядра в нулевом кольце. Это небезопасно. Потому тащим в ядро еще и Rust компилятор, загружаем только растокод «mid-level IR», например. Позже сделать какой-то байткод, по которому можно будет валидировать отсутствие unsafe, и интерпретатор с jit компиляцией.
Запускаем только то, что не содержит unsafe. Естественно, очень тонкую стандартную библиотеку нужно предоставить тоже, она не будет использовать сисколы, но полагаться на внутренности ядра напрямую.
Профит: небольшое увеличение производительности и пылающие пуканы растохейтеров.
Я вообще не разбираюсь в низкоуровневом программировании но думаю что взлетит. Взлетит?
