asterinas

Безопасное, быстрое и общее ядро ​​ОС, написанное в ржавчине и совместимо с Linux

Английский | 中文版 | 日本語

Представление атеринов

Asterinas-это безопасное , быстрое и общее ядро ​​OS, которое обеспечивает Linux-совместимый ABI. Он может служить бесшовной заменой Linux, одновременно повышая безопасность памяти и дружелюбие разработчиков .

• Asterinas приоритет безопасности памяти, используя ржавчину в качестве единственного языка программирования и ограничивая использование небезопасной ржавчины четко определенной и минимальной доверенной вычислительной базой (TCB). Этот инновационный подход, известный как архитектура Framekernel, устанавливает атерины в качестве более безопасного и надежного варианта ядра.

• Asterinas превосходит Linux с точки зрения дружелюбия разработчиков. Он дает возможность разработчикам ядра (1) использовать более продуктивный язык программирования ржавчины, (2) использовать специально построенный инструментарий, называемый OSDK для упрощения их рабочих процессов и (3) выбирать между выпуском модулей ядра в качестве открытого исходного кода или сохранения их запатентованности, благодаря гибкости, предлагаемой MPL.

В то время как путешествие к ядра ОС производства может быть сложным, мы твердо продвигаемся к нашей цели. В настоящее время Asterinas поддерживает только VMS X86-64. Тем не менее, наша цель на 2024 год состоит в том, чтобы подготовиться к производству Asterinas на x86-64 VMS.

Начиная

Получите себе машину x86-64 Linux с установленным Docker. Следуйте трем простым шагам ниже, чтобы поднять атеринас и запустить.

1. Загрузите последний исходный код.

git clone https://github.com/asterinas/asterinas

2. Запустите контейнер Docker в качестве среды разработки.

docker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3

3. Внутри контейнера перейдите в папку Project, чтобы построить и запустить атерины.

make build
make run

Если все пойдет хорошо, Asterinas теперь работает в виртуальной машине.

Книга

Посмотрите на книгу «Астерины», чтобы узнать больше о проекте.

Лицензия

Исходный код и документацию Asterinas в первую очередь используют публичную лицензию Mozilla (MPL), версию 2.0. Выбор компонентов находятся в более разрешении лицензии, подробно описанные здесь. Для обоснования, стоящих за выбором MPL, см. Здесь.