Так, коллеги
Не всё сразу.

План такой:

Получить бинарный файл для одного модуля (без Kernel) (выполнено)Убедиться, что argc/argv передаются ядром правильно (выполнено)Собрать систему с KernelПолучить argc/argv для дальнейшего использованияСделать постановку сигналов
Любые замечания и помощь приветствуются.
Еще не могу найти, какой сейчас используется формат файлов по умолчанию во FreeBSD, ELF или a.out.
Если кто знает, подскажите пожалуйста.