Это оффтопик уже

и нескучные обои по завету попова

Хм, если в seL4 очень быстрый IPC, то, получается, там можно устроить что-то в духе сервера на эрланге?

Где процесс на процессе сидит, и процессом погоняет

а теперь всю логическую цепочку в студию

Ок

эрланг - язык, который работает под виртуальной машиной, в которой можно запустить до миллиона процессов, и они будут все относительно шустро общаться между собой и одновременно работать. Если такой подход использовать в том же линуксе, то всё упрётся в то, что там слишком медленное межпроцессовое взаимодействие, а в seL4 оно очень быстрое. Значит ли, что можно писать микропрограммы в духе процессов эрланга, которые будут так-же работать, но уже не на виртуальной машине, а на микроядре?

теперь более или менее понятно стало, но не факт что всем участникам процесса, краткий ответ да

полный ответ — иногда будут возникать ситуации когда нет

>Если такой подход использовать в том же линуксе, то всё упрётся в то, что там слишком медленное межпроцессовое взаимодействие,

если все это под одной ВМ, то сфига ли там межпроцессное взаимодействие то

да, там и процессы то ненастоящие)

так, друзья, я опять со своими глупыми вопросами по линкеру.

допустим у нас ядро грузится через kaslr, но мы бы не хотели делать весь образ pic/pie

допустим мы сделаем небольшой pie распаковщик/загрузчик, а остальное ядро обычный position-depenent эльф с load-time релокацией.

какой алгоритм написания такого загрузчика?

- пункт ноль : сохраняем все символы и релоаации в отдельных секциях образа ядра

- пункт один: грузим pie загрузчик куда хотим

- он уже берет образ ядра, читает релокации, патчит и грузит по kaslr

- прыгаем на адрес загрузки ядра

ничего не упустил?

в офтопике ведь так примерно и сделано было?

ну у меня так было тоже когда-то - pie загрузчик, который потом релоцировал едро

спасибо Беркус

в целом я не ошибся по алгоритму?

ну да

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

да, понел)

можно потом даже никуда не прыгать, а добить инициализацию прям из этого загрузчика