Портирование pintOS на Raspberry-pi

Question

Для 6-месячного проекта я думал написать PintOS как OS для Raspberry -Pi. Поскольку я новичок и не имею практических знаний об операционной системе, я подумал о том, чтобы начать с портирования (PintOS), а не писать собственную ОС. Мои вопросы:

1. Как действовать, то есть, что я должен знать перед началом портирования. (У меня есть знания о сборке, теоретические концепции ОС, обзор последовательности загрузки и т. Д.).
2. Будет ли достаточно кросс-компиляции исходного кода?
3. Сколько стоит этот проект за 6 месяцев (ответ зависит от 1-го вопроса:p)?

Вот некоторые похожие работы, которые я нашел:

Портирование встроенной операционной системы Xinu на Raspberry Pi

PS Я студентка.

Answer 1

Я работал на PintOS в свое время в аспирантуре, поэтому я говорю по своему опыту.

Я, вероятно, могу ответить на ваши вопросы, но это может быть слишком поздно, так как я только что натолкнулся на раздел Pintos в stackru.

1. Вам необходимо знать набор инструкций ARM, поскольку вы будете переводить все машинные инструкции X86 в эквивалентные машинные инструкции ARM в исходном коде PintOS vanilla.
2. Я думаю, нет, вы не можете просто скомпилировать код из-за 1.
3. Также зависит, насколько вы знаете инструкции ARM.

Надеюсь, поможет!