Infact from Wikipedia I can read :
L4Linux also allows setting up a virtualized environment vaguely similar to Xen or Kernel-based Virtual Machine (KVM), but a few significant differences exist between the intent of Xen and L4Linux.
With Redox can I do the same ?
On Fri, Dec 8, 2023 at 9:11 AM Mario Marietto <marietto2008@xxxxxxxxx> wrote:
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 WindowsWhat 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.
On Fri, Dec 8, 2023 at 2:15 AM <jim.cromie@xxxxxxxxx> wrote:On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto <marietto2008@xxxxxxxxx> wrote:
>
> What is this ?
>
> https://l4re.org/download/snapshots/pre-built-images/arm-v7/
>
Thats a micro-kernel, sort of like GNU Hurd.
theres also
https://doc.redox-os.org/book/ch04-01-microkernels.html
--Mario.
--
Mario.
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@xxxxxxxxxxxxxxxxx https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies