With l4linux (or redox) can I boot and run 2 linux distros using the same kernel ? I ask because the developers talk about virtualization and because CoLinux allows us to boot Linux while using Windows

What I'm very interested to achieve is to run Linux as a process under FreeBSD or vice versa,using the best of those two microkernels.