base-hw kernel binaries

[Johannes Kliemann]

Hi all,

I'm currently measuring the code base sizes of Genode with different
kernels. I have split this into the kernel itself and kernel-dependent
code of Genode (core and ld.lib.so).
This worked well for all kernels except hw where I couldn't really make
a distinction between the kernel and core. The only additional binary is
is called *.bootstrap and resides inside var/. Unfortunately it doesn't
contain any references to its source code and I couldn't find any debug
binary that does so (I need this since I measure the code size by source
references in elf binaries via objdump).

Is there a way to build this binary with more debug information. And
more generally how are the kernel part and core separated in hw (which
isn't as easy as with other kernels that use a port)?

Regards,
Johannes