The goal is to get bootstrap boot and complain about missing mods, kernel etc.

Build procedure in mybuild:

make pkg S=ldscripts,libgcc-pure,l4sys,crtn,uclibc-headers,cxx,uclibc-minimal,libgcc,drivers-frst,l4util,libstdc++-headers,cxx_libc_io,cxx_libc_io,l4re,bootstrap

In the end it complains about missing mod00.bin, mod01.bin and mod02.bin. It seems they are build by the build.pl script. We should figure this out maybe. For the moment you can remove those from pkg/bootstrap/server/src/OBJ-or1k_/mod.make.inc and in its folder run make again. The result is bootstrap.auto-build-useless.elf.