Если вы хотите загрузить более одного файла ELF, вам следует обратиться к 'generi c loader', описанному в docs / generi c -loader.txt. Это также позволяет вам указать, какой ЦП, если таковой имеется, должен иметь свою P C, установленную в качестве точки входа файла ELF. В зависимости от платы вы можете загружать все ELF-файлы таким образом и вообще не указывать -kernel. Командная строка для него - '-device loader, [options ...]'.
Обратите внимание, что если вы используете модель платы, которая запускается с большинством процессоров в состоянии 'выключено' (ie если ожидается, что основной ЦП будет включать другие ЦП), тогда вам потребуется код для этого, независимо от того, есть ли у вас один ELF или несколько (или, если плата это позволяет, используйте подходящие параметры командной строки для включите все процессоры).