Hi Abhishek,

On Tue, Jun 13, 2017 at 5:50 PM, Abhishek Kumar <abhishekkmr18@...9...> wrote:

Hello
I want to do some modifications to genode code using a C library, I want to compile Genode code along with a .so file from some third party library and the corresponding .h file. I am using functions from that library in vm_base.h in os sub-directory. Is there some simple way to directly change the Makefile to include .so file or something similar?

You will need to port the library i.e., compile it with the Genode code base using the compiler that comes with the Genode architecture you are interested in. It should not be very difficult in case of one library and little dependencies. If you share some details it might be convenient for others to comment more but I guess this is how we do it. The code will break and you fix it. I am not very fluent with Genode as to whether how much it is consistent with lets say standard C library that comes with Linux runtime.

I hope this helps.

Regards,

Shahbaz

Shahbaz Khan