Errata corrige : without the support of a teacher. On Sun, Dec 10, 2023 at 1:02 AM Mario Marietto <marietto2...@gmail.com> 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 and understood yet. Thanks for your > invitation to read. Yes,I'm very interested in all the virtualization stuff > all around,but I'm not sure that reading a complicated book will help me. > My training at the college has been totally different,I'm a psychologist. > Do you think that one can be able to learn by himself how an operating > system works by reading and studying a book found on the Internet,with the > support of a teacher ? Do you think that we can remove colleges from the > face of the earth ? > > On Sat, Dec 9, 2023 at 8:01 PM Richard <richard_siegfr...@systemli.org> > wrote: > >> 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. Actually all this is similar to >> Xen. >> >> Since you are interested in those things I would really recommend >> reading one of the textbooks. "Modern Operating Systems" by Tanenbaum >> even has a chapter on exactly this it's called "Are hypervisors >> microkernels done right?" >> >> -- Richard >> >> >> On 09.12.23 14:24, Mario Marietto wrote: >> > ---> Neither FreeBSD nor Linux has a microkernel >> > >> > Can you give a look here ? >> > >> > https://l4re.org/download/snapshots/ < >> 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 <marietto2...@gmail.com >> > <mailto:marietto2...@gmail.com>> wrote: >> > >> > Ok but then what it means what I read below (taken from wikipedia) : >> > >> > ^L4 Linux also allows setting up a virtualized >> > <https://en.wikipedia.org/wiki/Virtualization> environment vaguely >> > similar to Xen <https://en.wikipedia.org/wiki/Xen> or Kernel-bas >> > <https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine> >> > ed Virtual Machine >> > <https://en.wikipedia.org/wiki/Kernel-based_Virtual_Machine> (KVM), >> > but a few significant differences exist^// between the intent of Xen >> > and L^4 Linux. >> > >> > Il ven 8 dic 2023, 12:13 Richard <richard_siegfr...@systemli.org >> > <mailto:richard_siegfr...@systemli.org>> ha scritto: >> > >> > >> > >> > 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 as a >> > process under >> > > FreeBSD or vice versa,using the best of those two >> microkernels. >> > >> > Neither FreeBSD nor Linux has a microkernel. From all your >> > questions I >> > think it would be helpful to read up on some Operating System >> > Theory >> > before you go on. I can recommend "Operating Systems - Three >> Easy >> > Pieces" >> > ( >> https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf >> < >> https://techiefood4u.files.wordpress.com/2020/02/operating_systems_three_easy_pieces.pdf >> > >> > ) >> > >> > It's almost as good as the Tanenbaum Classic, but free. >> > >> > -- Richard >> > >> > >> > > >> > > >> > > >> > > On Fri, Dec 8, 2023 at 2:15 AM <jim.cro...@gmail.com >> > <mailto:jim.cro...@gmail.com> >> > > <mailto:jim.cro...@gmail.com <mailto:jim.cro...@gmail.com>>> >> > wrote: >> > > >> > > On Mon, Dec 4, 2023 at 1:02 PM Mario Marietto >> > > <marietto2...@gmail.com <mailto:marietto2...@gmail.com> >> > <mailto:marietto2...@gmail.com <mailto:marietto2...@gmail.com >> >>> >> > wrote: >> > > > >> > > > What is this ? >> > > > >> > > > >> > https://l4re.org/download/snapshots/pre-built-images/arm-v7/ >> > <https://l4re.org/download/snapshots/pre-built-images/arm-v7/> >> > > >> > <https://l4re.org/download/snapshots/pre-built-images/arm-v7/ >> > <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 >> > <https://doc.redox-os.org/book/ch04-01-microkernels.html> >> > > <https://doc.redox-os.org/book/ch04-01-microkernels.html >> > <https://doc.redox-os.org/book/ch04-01-microkernels.html>> >> > > >> > > >> > > >> > > -- >> > > Mario. >> > >> > >> > >> > -- >> > Mario. >> > >> > _______________________________________________ >> > Kernelnewbies mailing list >> > Kernelnewbies@kernelnewbies.org >> > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies >> >> _______________________________________________ >> Kernelnewbies mailing list >> Kernelnewbies@kernelnewbies.org >> https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies >> > > > -- > Mario. > -- Mario.
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
