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,
Hi Johannes,
El 11/04/18 a las 14:17, Johannes Kliemann escribió:
> 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)?
In base-hw, the kernel is
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
