From nobody Sun Feb 11 20:00:48 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 4TXz413lsrz5BKQf for ; Sun, 11 Feb 2024 20:01:05 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic315-55.consmr.mail.gq1.yahoo.com (sonic315-55.consmr.mail.gq1.yahoo.com [98.137.65.31]) (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 did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4TXz4119FJz4Cgl for ; Sun, 11 Feb 2024 20:01:05 +0000 (UTC) (envelope-from marklmi@yahoo.com) Authentication-Results: mx1.freebsd.org; none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707681662; bh=nRBfDPkCYE85Wau2G25TyzYXbF0mgqYwC04LR2rPHkw=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=cmH3sXX/cvz2ArIThwBjxh45imwE1ITGIH11GfMjLtKPc2KwLQaWm16fzrUsm0T6/3lXTRToBVS7xo6+iLkyEHvMmFsLXiJkPGztE/VgXx/NglcBNhqxgU11PFHFnFRHroFbjS+OqEufC/pAn62+bwKkgR8qjV2CN7dCohHXrw1mjwj3X8m92KbE4aUaNTWL4dl4j+nUGnrZD3FQ5mhpYCGmM5sP58Kz+sgQfFU1txjTd4MMxgKURTY4v3oZCVsQG2reIFor0P1Yw4C/x4/NPZsnZ1FD6A+eQYdGQ/OIV8ooHgLXWxASfY4cVQDYJWOBodccC2PSNmiC49HU5DDlYw== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707681662; bh=3d7+ezZdjJUyEaaZVBrYRqYt3u6lfQNWPheWoXLxa3k=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=c/Itixve0dSpi3CbQf23VnCpepTH6pnezFletLnd351X28/hsFol/JJzBIjvYSjfWQj+0NICfy31NfsdtEk6OatdoXIvSIcKHCLa/wTF4mThgfHQ8+uilgNZbqI/Aomx4ab9/pHjbvEJ/d7wcP2Czcz+JjT1HnCGzk39HVEta2jR8a7SSvwplIVn7dKa35VXE8R3YRdeoUUOdGuueRX6O8v1bQjkwAdmlFkigjUqI0mWxOFlUPHWDl48DPE7ltaDNNoVS4iXCUaVGYf0QD4WnZoYjzCo0AslGZkS2JYYo0T3glO8lJ/LDU8HH5YJtpdJF+wdXWuooZHIKPjhyRwTXA== X-YMail-OSG: aIo4oEkVM1lWLS04P9nhpVsQNdQwV7DCYprp95p7n3asHz6Ah8.hg7EA0CyhCX5 m_tnje5zqwqsuT8_GSKDs3ucJG45lvOZ0IExjakxFjpWbWBvHIhOlo42sVDGar3UdXcaotcXg54f CkY2ArvDwR4I.MAH969QzIv8ftkGiP7VKu5mQopJf1piNHjTY3pWz0To25S52rNEZnd9acjxIu_T 7otobseuVhp_JeBhMxshV6R8H1XcIhOYMY9oNnxdh95q_et2QvjuKZJ3kjKNTmH5UPWQwHFJ_pFB _fU4GTP89RHKgl8uSxyw06P_qyYkUv0_7NRuNSaHhx45CiWGzz1qveTwy5FkK10zzWqzfDoKKnI9 pDhRrZ8.eVSqgHpX.NfcA_eLYYWyBl0br4E4y4navKiOxvxn2SiOIZb298nI6zf25zUvyTzWzjAe Y6cf0EnumqCEysNt126CEhUCtxCsbzch.nzwiLmT5yM80o_vM88mVJeyvmzUaUZ0LZGaqbG6yE2C 38437wu4k_lyN2PH.M5gmSteAWJ94NAhaHfHOMgOf3yliFJ2.T6ajrJ.l8VCcXHcpzVpGddxNk4K t8JLioPj9aBJHFMetI58LQUAVfUPiTT9BsNw92dsPDOZRCSo4qos5lhaDkBcnnStLE1ES8wYpJ_D jGIp6d51ifKC9HfoL7VHHEGh6fOhx12UrQlSHyiC2iU3Zzi57VklkTnGC1Wu1yJlpzAQaq9SxbIe HoI0ttO5h4z.XtqgVWZMZ1_kb4KirNQpG6hpeMi33FxhkrB8v7FHWkhzQeSIKthdtYP76.4hvxfm k8VfqYdtnDalF3l2hT58q3NmzggwVLSZJyaBgbx.mWg7uzPpOJquvS477..pPKvV8hcdzYtqX3jT 2r5P8kQHZelV9Vaj6SLYFMCmQIxYVf3ZNe9KQNilZQXILOwWnHMgfGdkwyE7mNPc2TEZKAI.x965 RuDVRA907hsW1DxapU6RfykDLrnbwHC_nhPeONwlkExxz.kg3N_dMcgzGOG_kVC41RBnuuPui29p TEbc_hPl3xIsTxhVl2_GOkDH7pjpNw9aURYxmxDIrRfpbcxXoV4dDJcI6pyKQybqO.qblzf9d7M4 jOwb8Wih5nZACDElI7zdK1oUaExzIZYeJ6BhBbXL.yZcRxbxZ3CaGECW4DghHvI._JaITfIdVyTK i.VuoSCB1D1QWrXinlqwNX7PqKx5Wcllc0ri5FSvER1Br4NdQsiuRyq4de7pO8KkvFL2toJ3B8fS HfAuKpUqrDS4jcCNpcmCim.XZu6nLSzCpT3WiGOrW6l6kTcGt11x_5Ja8msIQ9sshYWaZz.EroRP pzLcVsVQm1uLMhGTVILCON76LMUQEiYD6ovPD3b_ELu5WDWI0Fz.i_h3UzYgDruv4iFCTL1A6wQR VSwmZRdDWn8T80EJFPBeq6W3p9p7RYNdFWAY4yExRAKumiOT6LX1O29LigmY9kJMPzP22BaQHxT3 LhjVEpQVobF2YRqefsjk_9JyHZSrIyRQ6_2fgh6PWht289mUHqSmxppavq3PR3HrWL6XEXaufDRF NuCFPogjD7vzISBDXlf51.QDDQC_kMYuMYsVcxti8d7Ca8ugMC3EL5earf_L9QiLeDaqd7Xg_pUr bhoxEfiGqWshGUlXa2uoKpQXgPPBIlBkWi1Lw83hgD..BbymriGjeMyZ1QlPr9h6GqfEXBoGJQi9 Y3Gzk9gh74YQ52kYNTkt3rKOJ6bUyDoFnSKUWlSqmG8ZNn1doUsLAtK3T2YiZiyDIdMv2jZkcuh0 tXrKgwK0kyCbg_aE2T2pl6ETErSELQl6Od6h45MZN2T2VJKYM33S65ZA8rqY9L_NxNzKpw77fAdk T8xvAFj.NraOLTpq6UC_ztQK_VKxO6H0sOPnof_EH6k.lT7NlcL_LYeNR.sVEqooe8GXlftqBAmj YkJTvnok5juY3cLz0RkLpbTuPb8PSz24GOr90Uc0oHKXNl0pFaZX74RK5QoTO.KQeJThUcz7W4HY qzn9CepFx2MOTtk0OTkEtDKrN42xbmKflEMqBIxzXezdMKRPfqglf3.WRNyVENpQj39Yajsp2ZSE rECi2MsfW2Dljuwj6OK4j9BvwuPRSL4eFNl1s86k.fb6aDjzKlhpH3uwvPg_sXmyyXLbVp7ZZG0G 5nl0GLobEZTuAGnA5348MZ82Isxf1bxGmVAiPzwK0NApAWf4jGX8np3pzx7gH0SWlox6DVzW4gTI 39WEcoC2ajNKbXhrY_AHwCghZ6tF.qtMWp.hQQblggF6WuBx2slVaj3DgmJXh.wjTTJpKGArjE_8 - X-Sonic-MF: X-Sonic-ID: c23f1db3-244e-474d-87e2-32a31b7eef38 Received: from sonic.gate.mail.ne1.yahoo.com by sonic315.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 20:01:02 +0000 Received: by hermes--production-gq1-5c57879fdf-8lthq (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID a63ff5a372a596a694591fecdda62661; Sun, 11 Feb 2024 20:00:59 +0000 (UTC) Content-Type: text/plain; charset=utf-8 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 (Mac OS X Mail 16.0 \(3774.400.31\)) Subject: Re: How to use the L4 Microkernel with a FreeBSD userland. From: Mark Millard In-Reply-To: Date: Sun, 11 Feb 2024 12:00:48 -0800 Cc: freebsd-arm , freebsd-hackers , FreeBSD Current Content-Transfer-Encoding: quoted-printable Message-Id: References: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> To: Mario Marietto X-Mailer: Apple Mail (2.3774.400.31) X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US] X-Rspamd-Queue-Id: 4TXz4119FJz4Cgl X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated [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/boot= strap_vm-multi_rpi4.elf = http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot= strap_vm-multi_rpi4.uimage = http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot= strap_vm-basic_rpi4.elf = http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot= strap_vm-basic_rpi4.uimage > On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard = wrote: >=20 >=20 > On Feb 11, 2024, at 05:44, Mario Marietto = wrote: >=20 > > 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. = First of all I'm sure that it can be done,because it is written clearly = on their website : > >=20 > >=20 > > http://os.inf.tu-dresden.de/L4Re/download/snapshots/ > >=20 > >=20 > > 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). = You might want to run make check_build_tools in the src/l4 directory to = verify 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 = tool 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 > >=20 > > 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,according with this instructions : > >=20 > >=20 > > http://os.inf.tu-dresden.de/L4Re/rpi.html=20 > >=20 > > This is the log file of the compilation,that hasn't given any error = : > >=20 > >=20 > > https://pastebin.ubuntu.com/p/6SwN2mpJBM/ > >=20 > >=20 > > Or I could have taken a pre built image of the L4 microkernel here :=20= > >=20 > >=20 > > = http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/ > >=20 > >=20 > >=20 > > 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 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 ? thanks. >=20 > 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 >=20 > 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.) >=20 > "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 FreeBSD code. =3D=3D=3D Mark Millard marklmi at yahoo.com