How to compile genode os code along with .so file from some other library

Abhishek Kumar abhishekkmr18 at ...9...
Tue Jun 13 14:50:27 CEST 2017

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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list