From nobody Sun Feb 11 21:20:31 2024 X-Original-To: freebsd-current@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TY0rS00skz5BRxS; Sun, 11 Feb 2024 21:21:12 +0000 (UTC) (envelope-from marietto2008@gmail.com) Received: from mail-ej1-x629.google.com (mail-ej1-x629.google.com [IPv6:2a00:1450:4864:20::629]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TY0rR5BFgz4S9F; Sun, 11 Feb 2024 21:21:11 +0000 (UTC) (envelope-from marietto2008@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-ej1-x629.google.com with SMTP id a640c23a62f3a-a389ea940f1so264287466b.3; Sun, 11 Feb 2024 13:21:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707686469; x=1708291269; darn=freebsd.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=xeHtVQdAQLEHf2UQBfps7ap101IjZY+AJevs+m2/nuc=; b=G8b+A4pvuIT2zuo31Iv1kTSqYASYAhsmRqq8nMPmG2rmVYsjM0XVUq1JJ7t8dN6ckb uXmLqq3tiEI1SFyhd4c645igoyjCj3yyKy2LdbbFQmqeWqDrKhm9PxCAFyDyzpOqS4Ue CQIzBL42EVesf3hUBm2tPUDig/dmbL5789vFRevsDNG/4Ko8KqCATFwmMVpUL5vBuTWt xDcPZdpLd4Y2C2rYxICJrneufwEQQ8usdZiIjdkNpGb48ybFnuvFrnfYtxvGO1pcxEr0 HAQ3s6tdMi5tP5RLEkfvsz2uGQGrTwGGSdw6z1+ijU4kxX73Hi6lf7DRs4iQI2L7CgLK tNLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707686469; x=1708291269; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=xeHtVQdAQLEHf2UQBfps7ap101IjZY+AJevs+m2/nuc=; b=PvSUuTThqQPmZaflVyFRd1bmuEvDx56ypr3Tukz7Kv0CAVrMDwy6P3s885i1k895ke XCoKJ09Lc2E6sc6o7DfEwT5qexFQbJ7t49wjY7YKTTeZx6sdGuW+aj4WQ4gxu24p0YBk pCYsKP6C+0uoE6CwQ/Ip0rQwPh+UzZfMd59EDS5moTJjMMOYNOZeAzr7mt9VczJHasSm pBBKTyBFxH/D9SJBabn2v3f0+hO89CA4YYX64ixYWmrPX+t/Vr0XICVrmIOwz1sG4Jll TIpFTscCgsNCaoRi238kqPBZoKZB3LVnyBry0RVhMlaIm+LsJqrLJf8gcAB/Vfet+Vn4 9dmQ== X-Forwarded-Encrypted: i=1; AJvYcCUrNSfBUyAOgMC+v4kuOpzLwDvrtKxIvRODzqAvHCb0JYqT21xhx6lvHXaT/ntEmWJlq2FwXdUkZ+B45/a3tqPTYni8Vz3Fr132SQ0fFoIzyf/2w96gstzk2kUu7BlTZMeARd01P+qLrA== X-Gm-Message-State: AOJu0YynXk5six7qGx7EuicIiGnVuypOSVdq7r7E+MINBd3+lMTYkiQY gHY4kpWNMkb0PcCLFI0VrLQI2RsOWLAamaTBrge+JunBDd7qetfwUrPKxShwQ795k23ZzC2M3wb qmhT72CcttgqHlJAx4CnaQMXUNh7wfj3CTcc= X-Google-Smtp-Source: AGHT+IH/73crJOAJhtQAqCPoynkT4lUI57qk/itols7gYu5KccUi/FdHuoeSZ138iHMp7kZe42lVSabAc2BW9UAtS3U= X-Received: by 2002:a17:906:6890:b0:a3c:7dd9:4d37 with SMTP id n16-20020a170906689000b00a3c7dd94d37mr1672057ejr.31.1707686468426; Sun, 11 Feb 2024 13:21:08 -0800 (PST) List-Id: Discussions about the use of FreeBSD-current List-Archive: https://lists.freebsd.org/archives/freebsd-current List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-current@freebsd.org MIME-Version: 1.0 References: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> In-Reply-To: From: Mario Marietto Date: Sun, 11 Feb 2024 22:20:31 +0100 Message-ID: Subject: Re: How to use the L4 Microkernel with a FreeBSD userland. To: Mark Millard Cc: freebsd-arm , freebsd-hackers , FreeBSD Current Content-Type: multipart/alternative; boundary="000000000000569ef8061121bd60" X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US] X-Rspamd-Queue-Id: 4TY0rR5BFgz4S9F X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated --000000000000569ef8061121bd60 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I will do it as soon as I get all the necessary tools to turn on the Raspberry Pi 4b. I was thinking that L4 worked like the old project coLinux,where Linux ran as a list of processes under WIndows. In my sick mind I'd thought that L4 allows FreeBSD to run as a list of processes with the L4 microkernel itself on "top" of it. Do you know if something like this exists ? On Sun, Feb 11, 2024 at 9:01=E2=80=AFPM Mark Millard wr= ote: > [Only replying to what I've subscribed to --and I dropped > Warner as well.] > > On Feb 11, 2024, at 11:43, Mario Marietto wrote: > > > ok. But what does this mean ? That I can use whatever Linux distro I > want ? Or even the FreeBSD world ? > > Only to build L4Re. > > The LR4e built will not contain any Linux userland materials, > nor any FreeBSD userland materials. LR4e has its own userland > materials that will be present instead. > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/ > > already contains pre-built .elf and .uimage files Why not use one > of those on the RPi4B? > > By size (larger), the most complete ones for the RPi4B seem to be > (both formats): > > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo= tstrap_vm-multi_rpi4.elf > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo= tstrap_vm-multi_rpi4.uimage > > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo= tstrap_vm-basic_rpi4.elf > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo= tstrap_vm-basic_rpi4.uimage > > > > On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard wrote: > > > > > > On Feb 11, 2024, at 05:44, Mario Marietto > wrote: > > > > > I'm trying to understand how to use the L4 Microkernel with a FreeBSD > userland. I've asked the same to a L4 developer,but he told me that he do= es > not know FreeBSD,so I'm here to ask the same question. First of all I'm > sure that it can be done,because it is written clearly on their website : > > > > > > > > > http://os.inf.tu-dresden.de/L4Re/download/snapshots/ > > > > > > > > > on the section : > > > Host system requirements > > > The host system shall be a 64bit-based system with a recent Linux > distribution installed and at least 2GB of free disk space. > > > All necessary tools required by the build are available from the > provided packages of the Linux distributions, including cross compilers. > But there are also other cross compiler packages available (see below). Y= ou > might want to run make check_build_tools in the src/l4 directory to verif= y > the common tools are installed. > > > You are free to use any Linux distribution you like, or even BSDs or > any of its derivatives. But then you should know the game. Especially too= l > versions should be recent, as installed on the listed distributions below= . > > > We are confident that the snapshot works on the following > distributions: > > > =E2=80=A2 Debian 11 or later > > > =E2=80=A2 Ubuntu 22.04 or later > > > > > > Let's say I want to use the L4 microkernel + FreeBSD 14 on my > Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordi= ng > with this instructions : > > > > > > > > > http://os.inf.tu-dresden.de/L4Re/rpi.html > > > > > > This is the log file of the compilation,that hasn't given any error = : > > > > > > > > > https://pastebin.ubuntu.com/p/6SwN2mpJBM/ > > > > > > > > > Or I could have taken a pre built image of the L4 microkernel here : > > > > > > > > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64= / > > > > > > > > > > > > At this point the tutorial says that I should use a Linux distro. The= y > suggest the official distro for the Raspberry Pi 4,that's RaspBian. But I > don't want to use Linux as a userland,I want to use FreeBSD. The question > now is : what should I do to achieve that goal ? How can I link the L4 > microkernel with the ubldr bootloader of FreeBSD ? Or should I link it to > the kernel of FreeBSD ? Can someone explain to me the missing step ? than= ks. > > > > QUOTING the "Configuring yourself" section: > > The make setup step configures predefined setups for both the L4Re > microkernel (Fiasco) and the L4Re user-level software, and connects both > together so the images for the target system can be built. > > END QUOTE > > > > So L4Re has its own user-level software, not just a kernel. There is no > use of a Linux or FreeBSD user-level software > > when L4Re is booted. (They are just used for building.) > > > > "The host system" is just a host for building the L4Re parts and > assembling the image from the parts. The "Pulling it together" section is > about combining the parts (including the microkernel and the user-level > software) to make the overall image that does not include Linux or FreeBS= D > code. > > > =3D=3D=3D > Mark Millard > marklmi at yahoo.com > > --=20 Mario. --000000000000569ef8061121bd60 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I will do it as soon as I get all the necessary tools= to turn on the Raspberry Pi 4b. I was thinking that L4 worked like the old= project coLinux,where Linux ran as a list of processes under WIndows. In m= y sick mind I'd thought that L4 allows FreeBSD to run as a list of proc= esses with the L4 microkernel itself on "top" of it. Do you know = if something like this exists ?=C2=A0


<= /div>
O= n Sun, Feb 11, 2024 at 9:01=E2=80=AFPM Mark Millard <marklmi@yahoo.com> wrote:
[Only replying to what I've subscrib= ed to --and I dropped
Warner as well.]

On Feb 11, 2024, at 11:43, Mario Marietto <marietto2008@gmail.com> wrote:

> ok. But what does this mean ? That I can use whatever Linux distro I w= ant ? Or even the FreeBSD world ?

Only to build L4Re.

The LR4e built will not contain any Linux userland materials,
nor any FreeBSD userland materials. LR4e has its own userland
materials that will be present instead.

http://os.inf.tu-dresden.de/do= wnload/snapshots/pre-built-images/arm64/

already contains pre-built .elf and .uimage files Why not use one
of those on the RPi4B?

By size (larger), the most complete ones for the RPi4B seem to be
(both formats):

htt= p://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/bootstra= p_vm-multi_rpi4.elf
= http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boots= trap_vm-multi_rpi4.uimage

htt= p://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/bootstra= p_vm-basic_rpi4.elf
= http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boots= trap_vm-basic_rpi4.uimage


> On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard <marklmi@yahoo.com> wrote:<= br> >
>
> On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com> wrote: >
> > I'm trying to understand how to use the L4 Microkernel with a= FreeBSD userland. I've asked the same to a L4 developer,but he told me= that he does not know FreeBSD,so I'm here to ask the same question. Fi= rst of all I'm sure that it can be done,because it is written clearly o= n their website :
> >
> >
> > http://os.inf.tu-dresden.de/L4Re/downl= oad/snapshots/
> >
> >
> > on the section :
> > Host system requirements
> > The host system shall be a 64bit-based system with a recent Linux= distribution installed and at least 2GB of free disk space.
> > All necessary tools required by the build are available from the = provided packages of the Linux distributions, including cross compilers. Bu= t there are also other cross compiler packages available (see below). You m= ight want to run make check_build_tools in the src/l4 directory to verify t= he common tools are installed.
> > You are free to use any Linux distribution you like, or even BSDs= or any of its derivatives. But then you should know the game. Especially t= ool versions should be recent, as installed on the listed distributions bel= ow.
> > We are confident that the snapshot works on the following distrib= utions:
> >=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Debian 11 or later
> >=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Ubuntu 22.04 or later
> >
> > Let's say I want to use the L4 microkernel + FreeBSD 14 on my= Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordin= g with this instructions :
> >
> >
> > http://os.inf.tu-dresden.de/L4Re/rpi.html > >
> > This is the log file of the compilation,that hasn't given any= =C2=A0 error :
> >
> >
> > https://pastebin.ubuntu.com/p/6SwN2mpJBM/
> >
> >
> > Or I could have taken a pre built image of the L4 microkernel her= e :
> >
> >
> > http://os.inf.tu-dre= sden.de/download/snapshots/pre-built-images/arm64/
> >
> >
> >
> > At this point the tutorial says that I should use a Linux distro.= They suggest the official distro for the Raspberry Pi 4,that's RaspBia= n. But I don't want to use Linux as a userland,I want to use FreeBSD. T= he question now is : what should I do to achieve that goal ? How can I link= the L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I link= it to the kernel of FreeBSD ? Can someone explain to me the missing step ?= thanks.
>
> QUOTING the "Configuring yourself" section:
> The make setup step configures predefined setups for both the L4Re mic= rokernel (Fiasco) and the L4Re user-level software, and connects both toget= her so the images for the target system can be built.
> END QUOTE
>
> So L4Re has its own user-level software, not just a kernel. There is n= o use of a Linux or FreeBSD user-level software
> when L4Re is booted. (They are just used for building.)
>
> "The host system" is just a host for building the L4Re parts= and assembling the image from the parts. The "Pulling it together&quo= t; section is about combining the parts (including the microkernel and the = user-level software) to make the overall image that does not include Linux = or FreeBSD code.


=3D=3D=3D
Mark Millard
marklmi at yahoo.com



--
Mario.
--000000000000569ef8061121bd60--