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