https://ns.opennet.ru/openforum/vsluhforumID3/122242.html Представлен релиз проекта MirageOS 3.9, позволяющего формировать операционные системы одного приложения, в которых приложение поставляется как самодостаточный "unikernel", способный выполняться без применения операционных систем, отдельного ядра ОС и каких-либо прослоек. Для разработки приложений применяется язык OCaml. Код проекта распространяется под свободной лицензией ISC...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=53977<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#23 Thu, 29 Oct 2020 06:08:26 GMT &gt; Если компилятор OCaml способен генерить код для Cortex-M.<br><br>Так я и не в курсе что он способен, а что - нет, потому и спрашиваю( собсно, и в тексте ни словами о каком &#171;железе&#187; кроме гипервизоров ).<br><br>С реальными железками ещё куча проблем и нюансов появляется вроде той же работы с прерываниями и проч<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#21 Wed, 28 Oct 2020 07:40:52 GMT Если компилятор OCaml способен генерить код для Cortex-M.<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#20 Wed, 28 Oct 2020 07:38:41 GMT Для начала поинтересуйтесь, чем различаются JS и OCaml.<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#19 Wed, 28 Oct 2020 06:48:50 GMT Нет так нет, не вопрос.<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#18 Wed, 28 Oct 2020 06:15:24 GMT Судя по твоим заявлениям - тебе не нужно, проходи дальше<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#17 Wed, 28 Oct 2020 06:12:19 GMT &gt; А кто-нибудь в курсе, как оно с файловой системой, например, работает? <br><br>С ФС не в курсе, а со "стандартными файлами" как-то так.<br>[code]<br>static size_t sn_write(FILE *f, const char *s, size_t l)<br>{<br>size_t k = f-&gt;wend - f-&gt;wpos;<br>if (k &gt; l) k = l;<br>memcpy(f-&gt;wpos, s, k);<br>f-&gt;wpos += k;<br>/* pretend to succeed, but discard extra data */<br>return l;<br>}[/code]<br>https://github.com/mirage/ocaml-freestanding/blob/master/nolibc/vsnprintf.c#L7-L15<br><br>[code]<br>/*<br> * Standard output and error "streams".<br> */<br>static size_t console_write(FILE *f __attribute__((unused)), const char *s,<br> size_t l)<br>{<br> solo5_console_write(s, l);<br> return l;<br>}[/code]<br>https://github.com/mirage/ocaml-freestanding/blob/master/nolibc/sysdeps_solo5.c#L16-L24<br><br>Это фрагменты libnolibc.a: libc interfaces required by OCaml runtime.<br><br>Зато нашёл поддержку FAT https://github.com/mirage/mirage/blob/master/lib/mirage/mirage_impl_fs.ml<br>и блочных устройств https://github.com/mirage/mirage/blob/master/lib/mirage/mirage_impl_blo https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#16 Wed, 28 Oct 2020 05:25:03 GMT &gt; который сможет обеспечить атомарность операций и неплохо было бы ещё внутреннее состояние хранить<br><br>Тут ты уже ОС изобретаешь. Нельзя об этом говорить, неконцептуально!<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#15 Wed, 28 Oct 2020 05:21:50 GMT Научись хотя бы писать слово docker.<br> https://ns.opennet.ru/openforum/vsluhforumID3/122242.html#14 Wed, 28 Oct 2020 04:38:48 GMT В каком месте ты увидел &#171;отдельное устройство&#187;, если оно предлагает запускать поверх гипервизора приложения, то есть рассчитано на запуск множества приложений на одном устройстве и имеет целью экономию ресурсов. <br>