>> Речь шла о запуске прикладного софта под Redox.
> relibc - реализует API libc для ядра редокса. Программы, написанные под libc
> при этом могут работать на редоксе. Поэтому relibc - полезен. При
> этом сами программы могут быть написаны не на Сях. Я писал
> про это. Например, они могут быть написаны на Расте,

Ясно, примеров нет и не будет.

>> $ ldd `which go`
> Не компилятор, а программы, скомпилированные Golang.

https://go.googlesource.com/go/+/refs/heads/master/src/built...

$ ldd `which gitea`
    linux-gate.so.1
    libdl.so.2 => /lib/libdl.so.2
    libpthread.so.0 => /lib/libpthread.so.0
    libpam.so.0 => /lib/libpam.so.0
    libc.so.6 => /lib/libc.so.6
    /lib/ld-linux.so.2

> Сам не проверял, но пишут, что
> оно так.

Убедили.

>> Вы говорите, что "подгружает libc и делает вызовы к его фукнциям". Я думал знаете, зачем.
> Любая программа, если она использует libc - использует libc. Либо он статически
> прилинкован в бинарь, либо подгружается динамически - не важно, изнутри через
> dlopen или снаружи через механизмы ОС. В чём вопрос?

У меня больше нет к Вам вопросов.