A little addition on that:
In base-hw, in contrast to other base repositories, the kernel and Core work together and trust each other - they even share the same virtual address space. There's also not a clear distinction between C++ sources of the kernel and those of the rest of Core. However, the kernel sub-directories should contain all code that represents only kernel interna.
El 11/04/18 a las 14:17, Johannes Kliemann escribió:
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)?
Martin