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 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
