Does L4Re support dynamic loading? Is there an elf loader or shell? If so how do I do it? I want to run directly with L4Re. No l4linux.