Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Mario Marietto
> a) It's likely that it's an adopted version of the linux kernel so it's likely also old Are you sure that you gave a fast read to this page ? ---> https://l4re.org/download/snapshots/ They say : You are free to use any Linux distribution you like, or even BSDs or any of its derivatives. Bu

Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Richard
On 10.12.23 01:02, Mario Marietto wrote: Thanks. That's exactly what I was looking for. Actually we are trying to boot FreeBSD with xen on our arm 32 Chromebook. But if it fails we could try L4Linux. Yes,they say that's similar to xen,but with some important differences that I haven't read an

Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Mario Marietto
Errata corrige : without the support of a teacher. On Sun, Dec 10, 2023 at 1:02 AM Mario Marietto wrote: > Thanks. That's exactly what I was looking for. Actually we are trying to > boot FreeBSD with xen on our arm 32 Chromebook. But if it fails we could > try L4Linux. Yes,they say that's simila

Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Mario Marietto
Thanks. That's exactly what I was looking for. Actually we are trying to boot FreeBSD with xen on our arm 32 Chromebook. But if it fails we could try L4Linux. Yes,they say that's similar to xen,but with some important differences that I haven't read and understood yet. Thanks for your invitation to

Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Richard
I looked at this, L4 is a family of Microkernels: https://en.wikipedia.org/wiki/L4_microkernel_family L4Re is a project to let other operating system kernels run as processes on top of a L4 Kernel. But they are still monolithic kernels even when you run them on top of another kernel. Actuall

Re: from CoLinux to MoreLinux :D

2023-12-09 Thread Mario Marietto
---> Neither FreeBSD nor Linux has a microkernel Can you give a look here ? https://l4re.org/download/snapshots/ where it says : "You are free to use any Linux distribution you like, or even BSDs or any of its derivatives" On Fri, Dec 8, 2023 at 12:53 PM Mario Marietto wrote: > Ok but then w

Re: from CoLinux to MoreLinux :D

2023-12-08 Thread Mario Marietto
Ok but then what it means what I read below (taken from wikipedia) : L4Linux also allows setting up a virtualized environment vaguely similar to Xen or Kernel-bas

Re: from CoLinux to MoreLinux :D

2023-12-08 Thread Richard
On 08.12.23 09:11, Mario Marietto 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 Windows What I'm very interested to achieve is to run Linux

Re: from CoLinux to MoreLinux :D

2023-12-08 Thread Mario Marietto
Infact from Wikipedia I can read : L4Linux also allows setting up a virtualized environment vaguely similar to Xen or Kernel-based Virtual Machine (KVM),

Re: from CoLinux to MoreLinux :D

2023-12-08 Thread Mario Marietto
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,usin

Re: from CoLinux to MoreLinux :D

2023-12-07 Thread jim . cromie
On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto 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 ___

Re: from CoLinux to MoreLinux :D

2023-12-04 Thread Mario Marietto
What is this ? https://l4re.org/download/snapshots/pre-built-images/arm-v7/ It seems to me that it does what Colinux did a lot of time ago,but it works even on more cpu architectures. Am I wrong ? With l4linux I can run multiple linux distros using the same kernel. I'm very curious to try it on m

Re: from CoLinux to MoreLinux :D

2023-12-04 Thread Mario Marietto
Development of Debian GNU/kFreeBSD ended in July 2023 because no one was interested anymore to develop it. On Mon, Dec 4, 2023 at 3:06 AM Richard wrote: > > > On 03.12.23 19:58, Mario Marietto wrote: > > Hello. > > > > maybe someone of you know the old project called "coLinux" : > > > > > >

Re: from CoLinux to MoreLinux :D

2023-12-03 Thread Richard
On 03.12.23 19:58, Mario Marietto wrote: Hello. maybe someone of you know the old project called "coLinux" : Cooperative Linux is the first working free and open source method for optimally running Linux on Microsoft Windows natively. More generally, Cooperative Linux (short-nam