Using l4re in loadable modules of L4Linux

Hi folks,

I'm building a loadable module of L4Linux. The module calls l4re_rm_alloc() / l4re_rm_attach() to allocate shared memory.

Because the symbols l4re_rm_attach_srv / l4re_utils_cap_alloc / l4re_ma_alloc_srv are not exported to the modules, I exported them using EXPORT_SYMBOL(). The module, however, still fails to load, complaining about  that these symbols cannot be found.

Is there a way to export these symbols so that loadable modules can use L4Re?

Thanks very much!

~Haohui