Genode modified Bender sources?

Lonnie Cumberland lonnie at
Mon Aug 10 19:45:47 CEST 2020

Hello All,

I am attempting to learn more about Bender (
and the way that it relocates modules so that I can get the NOVA x86_64 bit
hypervisor using Bender to relocate the modules.

I have been able to read a bit of the code from the bender github repo but
in researching in the Genode repositories, I have come across some
information that suggests Genode has a modified set of Bender sources:

But, I could not locate the actual modified genode bender source code so
that I can look things over.

Can you please tell me where I can find these modified sources?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list