On Tue, 25 Oct 2022 at 12:07, Stefan Kalkowski <stefan.kalkowski@genode-labs.com> wrote:

Hi Michael,

On Tue, Oct 25, 2022 at 11:46:54AM +0200, Michael Grunditz wrote:
> Right now it fails here, but not in all cases. , see links below.
> Where is insert_translation defined for arm_v8?
> https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/bootstrap/platform.cc#L78

Indeed, it would be good to instrument all occurrences of `throw`
within the page-table implementation for ARMv8. It shares the
implementation with ARMv7 Large Physical Address Extension support
defined within the following header:

  https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/include/hw/spec/arm/lpae.h

Regards
Stefan

I also notice that alloc add https://github.com/genodelabs/genode/blob/8ece2366354c941ad2206f3d511cd75a1065bb75/repos/base-hw/src/bootstrap/platform.cc#L47

allways allocs a bigger amount out ram than I have in my ram declariation. If I increse my size it adds more. Why? Does it add image size to ram size?