Hi, Am 04.01.2013 13:21, schrieb hamelin.philippe at ireq.ca: > I don't see why this implies disabling 'ecrt_domain_size' in > user-space? Would you mind to merge such a patch if I submit one? I just exported the method to user space. -- Best regards, Florian