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