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