From nobody Sun Feb 11 20:19:37 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 4TXzTl3nW1z5BLw9 for ; Sun, 11 Feb 2024 20:19:55 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic307-55.consmr.mail.gq1.yahoo.com (sonic307-55.consmr.mail.gq1.yahoo.com [98.137.64.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 4TXzTk3JwJz4GhH for ; Sun, 11 Feb 2024 20:19:54 +0000 (UTC) (envelope-from marklmi@yahoo.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=yahoo.com header.s=s2048 header.b=HnxfKdX2; dmarc=pass (policy=reject) header.from=yahoo.com; spf=pass (mx1.freebsd.org: domain of marklmi@yahoo.com designates 98.137.64.31 as permitted sender) smtp.mailfrom=marklmi@yahoo.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707682792; bh=xR6OX2014z4HIfz/Wd4YLO5QueVY6B1wIqKoV3Y3mQs=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=HnxfKdX2BdKvh+qr3hYZ4xZJN86j7M9GFnfqN9wl3AB/kT7yZPJVBsacad+M6SvQUYiwjV6TIYxT7YkSdC5cIu/57TWvitiOWqdpyoKivzdho4vmMQ7LZQDMDGTzlwgJdDrHwjDN19fM2Sy4mZCD06yD+VBrdseyn9dFfg5LMKc+5rDgrl75jrmzReDbDA2zoUtBLyRpUx4dLk8GenW5T1iSoTsR1RT8IDI0hesFM80ZsGGFcDuyhJ4MDG9asfTnfA47xzZZiOzcJq/6myfmtklhdkgg5W9OOUMHQJl91paNCMVsS0vbU96f2qFgvTkqgx+k0Pv+HvdOuOnnSA1azQ== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707682792; bh=vJV5jWMYMxoXt5whtMzteQPKdKPfy+lPO/JJeo/CNUb=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=oGYvpIBVrihjD7F8mVn6EthML9Qxij3zWnLmdGqCd7DJgp4uwUIlZkXs6IJk6NWAr8HNNpKq4TppDAYrAWHUsmhjTA6j0HukhiS3kCOB+oplp95/AYfWS8OqtYaHvn2gwiO7yovn+R/T2yzoBDuxnrzWC+iPwvBmP3yN/NIOx2vAYNj2WM5fKTKUXBIssHOdqeddGGl6ytzArquAdn9eZ+SnH8OMuPCfKz1N0vB80ttO7ykKw6Kb3ArfIuV+S4MuCkRX8/KSrjlUpOuUONQBLGKZYXSU1J96mBvsMtG2t+sblMJVhBIal8osUmT6RN4c0Ll3RmdyIKB/i1GppKdJ3Q== X-YMail-OSG: _hCjVlcVM1mrQh5OY_Jq2BPpzjblsounr.0al0q_XfHrpc6Qs1FGJD7n9ru073n DM3oOpp6SgErsZg7sAl.18JzBOUiTgm8zA5bDgLWHmM0H.Prow_aSdV2NQIwZMM0vPJn51t6f9qt E_LwyxGlOnXRU2lO0uemqUVnw3jOR5Pj5J6mNpuq_rv2PKFJBNf_ZFqRi5FqEQWlQ8o2nEiV3J3R 728oA88aQfqLnWFi0S3qhDwEY5VdP.xws9wUjF3NIb_edtOAgWdLy1ifk6CIv1XfEadk6RHDWz1I LUx0nCldpGrKoBjXpgRYaUK2c9VRPxl_8VdaU5D7vhg636nCghQPAeViGZ.5J8bwzfe1ubJxeV7k D5aKn1JjZ9KNEiauflNF9umC0LW4JAeuQSA_39kqsgsuZUMnGzqqedF3EKJfadAe.5rNY6mEFdAl UG385I.u540oJugk1oBZ5j3jegvA.oL.t7nouH.kB6nE2Q6eWkaVgdJKlIAis2RgtkiOqQ7uqTmz B2n1cOCeEiB4Zm3fJT8UXRAHypPt9Kmu8U0Vx7SGsc4zcbTYbEhFoQbhkDDidpxbSobkgwIZWg2e Q7X7NI_VjJc9LgNHV3qpmn3sY3B_gNBJISs67qz3COKnO06ORrhgB9MSF7G4XZikvPzwIH2KSvX8 6hcw2O4SQE8qi05l4gcDTQMqOrFgTjYJ3lua6ZUyn.ePpp0zgJWv1Ky2G3.oCnlgmAFds5LN9huw _AitC2QsCEKSCzJhE4Kk3_wLR15oZ3txvkhUeo6qlzCBKP2f58bDTnv7W3.XIvc1_sqLmkhabYjM jUAgX4eJZjnHZHEOB6lPiK9POj.peKwVUFkXtsZgOwL9W0_27x2K6Sj0h5c5WhWm4RfGLTHYKSg0 rurJJhXfX7euwCL2enKAisnGZFbrOCi2jSxnYrNLmtQhDRf1xtvSYQCHSHE32Jx8ExlSMXZ_iDM2 4Zp5oC1CISBImPuuFY6u7X2LHr6.QRCmRDu1iw3ESqNEB6F1kghQJfz3IqhLC.VDcLW65RbUrURp kWF_w2A5aLXfOY5fTD_rUZQflHz.I5YQj6nAQLRjYKxgdnAr.jSI9NCvcP5bhSOXF8qvmy0JeB.2 YW_663g7zUSpiMqYpFrU2wRmgJlMFeTC6TJ7DcRPf8j3IdWxe3araCEEYcXlst1IBJSqt5yR26HL 8y0eOW1NgW3D_bwEyJG982UyoIwW.qilp8OfX45j0ekUObQ71l8GgLR_RV8FwvvjhtN.SP_djPwp Hg9X1A6spTotCkwEHjey.jGB9DEfBw4hwJJvzTnFGZtzOzkBFK3NT_cOXxR0Z9S5lCM9aeaXtkmu qGdQZE96ecxXfIPWKnA2DAhpoLJWWXW7Q20N8SIHlxY5tnhsLsudiqSp50_ScZgarSEjjY3HtG97 u7da7QS_eVLA_mNIZMk1vSBIeliDZgcO2a7ijkVsb_.1leQLiWYEzanXyaH5NBLXIqVxlvCS3ID9 3me0nc9SSW1H7agVyUJDPAZ.mg5QN1zdkS6NTAWk6BHtK4gIZXWhOtkg1GKvuNO7v3k_clQnXJtJ 6wfOfAQuXSBucxfTbtjFAEAdCeNZNLBzAt5MberS_6yZDvuYoaKIaBkcEfcTxJhP9FouuA1ZXdam PwYjLnVpLAl9PsXCn62xFSiW_7W_AbNd2oTUEfAOay9EXPLzO6fK9hMMH3bwkJa7YAnZl_59XWwR do0PazeS3B6z5Fw_sKnY0K0E.77jPj.lH7R.8s8FblDwN2Br.TOhGjTSzixCgJPFAYrZMaaHlM0w RjuSvthPzKwrhLtGTusyhjLraJAc50fTvCcv_FsLjTM8NDL8DUus0HfmlTzHajaKEK3d_Fk.9V15 Libp7nOioygk7Dx8SjnNG2VjCXCHPU4Ec9yurG4FUf.0gbX2mqqPY.Bq4EkTttYYFcWTB8IMhdDw _YFpagegq7RrI4_MGzjGxpIAIz2bwFPN5h9DVddq0CwkB0.2K9BDMrrGT9Uy1H_MKa4TWMcdXwg5 5jiVe2L.SS821F8MUX.lxtaReUvnZTeVeTIvesocb9aXxwMYD_YpxscQTQRPnu84JAma2JrbHokh hpFAnoxB06jFnIRXzL7h1vhC7jEmB04M18UROpenlwAPgz0mWa2TiL0WjryK_S7sDxl7DGNQPE6D Vkm6Y_iT2OKOPjaetQdh2RnkrMWDCXhMHChdhV32yoCVIEwh5BA_caTeYZeRNHaimF0d8gZz6f1S ApUmSlGjrdkZ_1IluVK3XYIQ1g5VZsQROY7mVbnCNwkyOVdddMP1g3rozL97kOjW1ev9__Oq.yT3 x X-Sonic-MF: X-Sonic-ID: 18dc93b6-771f-446c-95fe-00cca58ac448 Received: from sonic.gate.mail.ne1.yahoo.com by sonic307.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 20:19:52 +0000 Received: by hermes--production-gq1-5c57879fdf-4h5cs (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID d515e58ab47f5f7684b95deda0e6d8ee; Sun, 11 Feb 2024 20:19:48 +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:19:37 -0800 Cc: freebsd-arm , freebsd-hackers , FreeBSD Current Content-Transfer-Encoding: quoted-printable Message-Id: <440C30BB-5093-4ECB-94BE-21C73D461D0C@yahoo.com> References: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> To: Mario Marietto X-Mailer: Apple Mail (2.3774.400.31) X-Spamd-Bar: --- X-Spamd-Result: default: False [-4.00 / 15.00]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-1.00)[-0.998]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; MIME_GOOD(-0.10)[text/plain]; FROM_HAS_DN(0.00)[]; TO_DN_ALL(0.00)[]; RCVD_TLS_LAST(0.00)[]; FREEMAIL_TO(0.00)[gmail.com]; MIME_TRACE(0.00)[0:+]; ARC_NA(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com:dkim]; FREEMAIL_FROM(0.00)[yahoo.com]; DKIM_TRACE(0.00)[yahoo.com:+]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; MLMMJ_DEST(0.00)[freebsd-current@freebsd.org]; APPLE_MAILER_COMMON(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; RWL_MAILSPIKE_POSSIBLE(0.00)[98.137.64.31:from]; RCVD_IN_DNSWL_NONE(0.00)[98.137.64.31:from] X-Rspamd-Queue-Id: 4TXzTk3JwJz4GhH On Feb 11, 2024, at 12:00, Mark Millard wrote: > [Only replying to what I've subscribed to --and I dropped > Warner as well.] >=20 > On Feb 11, 2024, at 11:43, Mario Marietto = wrote: >=20 >> ok. But what does this mean ? That I can use whatever Linux distro I = want ? Or even the FreeBSD world ? >=20 > Only to build L4Re. >=20 > 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. >=20 > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/ >=20 > already contains pre-built .elf and .uimage files Why not use one > of those on the RPi4B? >=20 > By size (larger), the most complete ones for the RPi4B seem to be > (both formats): >=20 > = 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 >=20 > = 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 May be you are wanting to run FreeBSD in a virtual machine in the LR4e environment? For example, http://os.inf.tu-dresden.de/L4Re/screens.html shows a "Virtualized Linux running in a window" that is using a virtual machine environment to run Linux in, not directly using the Linux userland with the microkernel. It also shows an example of "A vritual machine" that shows a GNU GRUB running in the virtual machine. For this the pre-built images should be sufficient: no need to build your own L4Re. It is the virtual machine configuration that would be then at issue. >> 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