From nobody Mon Feb 5 02:06:20 2024 X-Original-To: freebsd-hackers@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 4TSqWW0jNMz58q8H for ; Mon, 5 Feb 2024 02:07:03 +0000 (UTC) (envelope-from estrabd@gmail.com) Received: from mail-lj1-x231.google.com (mail-lj1-x231.google.com [IPv6:2a00:1450:4864:20::231]) (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 4TSqWV5ybWz4rcl for ; Mon, 5 Feb 2024 02:07:02 +0000 (UTC) (envelope-from estrabd@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-lj1-x231.google.com with SMTP id 38308e7fff4ca-2d066b532f0so62513071fa.1 for ; Sun, 04 Feb 2024 18:07:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707098818; x=1707703618; 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=1QR7eJEc7jPBtE3ViVLfwUSMK2Q917pSDot/WS22j8E=; b=RPOn4nrzLxzQIgQ3AMw3Lu/fxFwQMt3/KccFnEuc2E7wdiLOUlDRz2T1uHzpL2ZQVB awQWn/ynYI10pQ6gUsDXr/26QF6/VCegdoENfHT2oZ9xInghvzN6pXQoTPHiWSN9Qmrr iRzmAK+R+ye146xvF8ot1E+fdHIBZtWKsB19x/yTCFrELm0uSHbbfiWlu5QaVwubCE0a YVxI3yXmZ6dkDClz51ZlTCmbMHzuCapjGuDQWOS7NVGx6RAfPLiLCF2RTXx5XWWb943G G822V5Uf2i4Aubd0NxzUasiO3b6gY3nWX0fbwc7gOp/XSPN9P1tchMtazvCpFaP0/beo 9/9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707098818; x=1707703618; 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=1QR7eJEc7jPBtE3ViVLfwUSMK2Q917pSDot/WS22j8E=; b=euPGVfEl7B/J8gW6+SLRKivIsJWzeoSLUkcplqY4Vu2YitSLeyv8BfjCzCprYP1rIt YMhG2g5KLTLUBpMcOZeuJpLNfrsIm8TXv1MRoU/wwrp9hehnDsiwc387QJqwydLYf+in NciEnjlWswRFPhSiHBMCLaDtHuNIYkh0I+7SzmrMOJgKBG8LR9PpIwCcXJT+fob4r7DL OQwMOCof2yLCdYNuXcKYoppAZmnp/vdQ9FGEwwwNO+HM0619b7z38YU6V3FlnLRKnAGk ilxLySo/kx2AyFNBY1gCHqObskSTa3rsBPshUcVV3QOpG7jpndr7hZbLacwrcn+rP0lQ bkKA== X-Gm-Message-State: AOJu0Yxob8KEXu+3L3GIMvrSpCAZvLo6HVO14LadUGJ0F6OIzbRammUE nhlXDrCtGGYMdNA0efZVNvnPYxo36bBDQsK0OebfdZ/BsuHr5ty9+Q57ay4MDlzwc+V1t9NyX0Z ZY6o8GyzwKFEs54Slahe8uddYEncpofCfeEk= X-Google-Smtp-Source: AGHT+IHMlkrnfARtjluqxUrf0/q9gJkoVjA8dCAGwVW90c/7uJg1mGArxps2oCmumXcCkl3ZAC+ZJu+3WbmCF4RRUwo= X-Received: by 2002:a05:651c:2108:b0:2d0:ab46:77db with SMTP id a8-20020a05651c210800b002d0ab4677dbmr1063738ljq.50.1707098817263; Sun, 04 Feb 2024 18:06:57 -0800 (PST) List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 References: In-Reply-To: From: "B. E." Date: Sun, 4 Feb 2024 20:06:20 -0600 Message-ID: Subject: Re: GPU programming? To: sgk@troutmask.apl.washington.edu Cc: freebsd-hackers@freebsd.org Content-Type: multipart/alternative; boundary="000000000000997b4c061098ea2d" X-Rspamd-Queue-Id: 4TSqWV5ybWz4rcl X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US] --000000000000997b4c061098ea2d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Sorry, I guess I was not clear on what you were asking. Maybe OpenCL (from Kronos/OpenGL folks) is helpful. Good luck. https://www.freshports.org/devel/opencl/ Cheers, Brett On Sun, Feb 4, 2024 at 2:51=E2=80=AFPM Steve Kargl wrote: > See the second paragraph of my initial post. AMD provides > ROCm and Nvidia supplies CUDA. These appear to be available > for Windows and Linux. Are there any software/hardware drivers > required to actually accomplish the offloading? > > -- > steve > > > > On Sun, Feb 04, 2024 at 02:16:05PM -0600, B. E. wrote: > > gcc (and gfortran) has supported OpenMP for a very long time via their > GOMP > > (pthreads underneath), not sure about LLVM based support or offloading > (via > > the latest supported OpenMP specification) to accelerators on FreeBSD p= er > > se. What are you looking for in terms of OS support? > > > > Cheers, > > Brett > > > > On Sun, Feb 4, 2024 at 1:02=E2=80=AFPM Steve Kargl < > sgk@troutmask.apl.washington.edu> > > wrote: > > > > > Is anyone aware of work towards GPU programming on FreeBSD? > > > > > > Here, I am not interested in using a GPU while playing a > > > video game or rendering graphics on a video monitor. I'm > > > interested in offloading single and double precision > > > floating-point computations to a GPU via OpenACC or OpenMP > > > (ala HPC). > > > > > > Although using a high-end AMD Instinct MI300 would be great, > > > I'm looking for something a bit more affordable such as an > > > AMD RX 6700 XT. AFAICT, this may require either porting > > > AMD ROCm software to FreeBSD or running it under the > > > linuxlator. > > > > > > https://www.amd.com/en/products/software/rocm.html > > > > > > -- > > > Steve > > > > > > > > -- > Steve > > --000000000000997b4c061098ea2d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry, I guess I was not clear on what you were asking. Ma= ybe OpenCL (from Kronos/OpenGL folks) is helpful. Good luck.

=
On Sun, Feb 4, 2024 at 2:51=E2=80=AFPM Steve Kargl <sgk@troutmas= k.apl.washington.edu> wrote:
See the second paragraph of my initial post.=C2=A0 AMD = provides
ROCm and Nvidia supplies CUDA.=C2=A0 These appear to be available
for Windows and Linux.=C2=A0 Are there any software/hardware drivers
required to actually accomplish the offloading?

--
steve



On Sun, Feb 04, 2024 at 02:16:05PM -0600, B. E. wrote:
> gcc (and gfortran) has supported OpenMP for a very long time via their= GOMP
> (pthreads underneath), not sure about LLVM based support or offloading= (via
> the latest supported OpenMP specification) to accelerators on FreeBSD = per
> se. What are you looking for in terms of OS support?
>
> Cheers,
> Brett
>
> On Sun, Feb 4, 2024 at 1:02=E2=80=AFPM Steve Kargl <sgk@troutmask.apl.wa= shington.edu>
> wrote:
>
> > Is anyone aware of work towards GPU programming on FreeBSD?
> >
> > Here, I am not interested in using a GPU while playing a
> > video game or rendering graphics on a video monitor.=C2=A0 I'= m
> > interested in offloading single and double precision
> > floating-point computations to a GPU via OpenACC or OpenMP
> > (ala HPC).
> >
> > Although using a high-end AMD Instinct MI300 would be great,
> > I'm looking for something a bit more affordable such as an > > AMD RX 6700 XT.=C2=A0 AFAICT, this may require either porting
> > AMD ROCm software to FreeBSD or running it under the
> > linuxlator.
> >
> > https://www.amd.com/en/products/software= /rocm.html
> >
> > --
> > Steve
> >
> >

--
Steve

--000000000000997b4c061098ea2d-- From nobody Mon Feb 5 07:55:58 2024 X-Original-To: freebsd-hackers@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 4TSzHb704Wz59RKZ for ; Mon, 5 Feb 2024 07:57:15 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Received: from mailgate.Leidinger.net (mailgate.leidinger.net [IPv6:2a00:1828:2000:313::1:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature ECDSA (P-256) client-digest SHA256) (Client CN "mailgate.leidinger.net", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TSzHb3JxSz4NXY; Mon, 5 Feb 2024 07:57:15 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Authentication-Results: mx1.freebsd.org; none List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=leidinger.net; s=outgoing-alex; t=1707119815; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=FbwGT7ws30QYJCLmgWE3R0TzjLySZLYTGTNBtzr0Fks=; b=DNwDJ5b3G64/VrmaHzFzAG2tbj6WVqBHblETdOtMvul2HtcL6G5foU3D4Kvw7+0YEv27hj P/HoiDPLcYzW9EthlYw3zCsCI/s4XMIvIzY1jNt/+MwJpvQ3TNjOK2/vnmr18WZnPOSkrl vcMaYgNQhHFl9nzMhhMmMD/ygCopfvEw9x8z9fyYM5/ouJjsha0PyClz3B91Op7/vI63CE n62XrCVEFEt3prpvCz8iVQ+RL94yyLFInb9/MymfYr9+8+9gO74XeBRpHzaAOTqQNzePRz niCDnOD/KeOD28V6bHG0xJui5FF3YmXWbQOZfJ/71KuNlM6a3u/Tboa0uDuSsw== Date: Mon, 05 Feb 2024 08:55:58 +0100 From: Alexander Leidinger To: sgk@troutmask.apl.washington.edu Cc: "B. E." , freebsd-hackers@freebsd.org, jbeich@FreeBSD.org Subject: Re: GPU programming? In-Reply-To: References: Message-ID: <90ea0dd91b760b0b6f92065d09396545@Leidinger.net> Organization: No organization, this is a private message. Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=_af794253232b481d1a1226321ea0296f"; micalg=pgp-sha256 X-Rspamd-Queue-Id: 4TSzHb3JxSz4NXY X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:34240, ipnet:2a00:1828::/32, country:DE] This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --=_af794253232b481d1a1226321ea0296f Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed Am 2024-02-04 21:51, schrieb Steve Kargl: > See the second paragraph of my initial post. AMD provides > ROCm and Nvidia supplies CUDA. These appear to be available > for Windows and Linux. Are there any software/hardware drivers > required to actually accomplish the offloading? CUDA: requires parts (at least some libs) from NVidia which are not ported to FreeBSD. I have seen reports that at least parts of the linux parts work in the linuxulator (https://github.com/verm/freebsd-stable-diffusion). If you want to use a FreeBSD system to do that, I would suggest to use a VM with linux and give it raw access to the card. Not nice (from a FreeBSD side of things), but most probably the most pragmatic solution to get all what is needed in a easy way. ROCm: No idea. I have not seen any report about it working or even being tried. But there was at least some discussion about it: https://github.com/ROCm/ROCm/issues/138 https://github.com/ROCm/ROCm/issues/1913 Intel: Maybe. We have spirv ports in the tree, and my limited understanding is, that SPIR-V comes into play when someone wants to do GPU compute there. CCing Jan as the port maintainer for the two spirv ports. Maybe he can shed some light on this part. Bye, Alexander. -- http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF http://www.FreeBSD.org netchild@FreeBSD.org : PGP 0x8F31830F9F2772BF --=_af794253232b481d1a1226321ea0296f Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc; size=833 Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEER9UlYXp1PSd08nWXEg2wmwP42IYFAmXAlJ4ACgkQEg2wmwP4 2IaeHw/+PvcON0Q2tDKTzNQkEnCZ7EPL8qhqJmCmMeFweojUhm2dp5AhEPUK+ok8 qbaQ8JqHmrIJ9/1o2FXz1hO8iqOlZK2O/8heaxLxxaRpjkPk7EUrAu+eYl3lYCpj A348PqvkfGeroP3UNy8SzDhQ+x3X1pyaeO9WYJKY+Qe0oURNDD18nsMr685kAacx xYpjPSfJD7K9o8uoZ4F25fixR1dwoL6kn8yWl/DJ8QynHp4Ki9RlZ+nrElCzEa/l sKR64H+kucvAQR9n9Rz+Ru8Kzc1nTvcJrKNsB1wm9P9eCSou8QQGDTHBk8m7isqJ oTxObLr1ohrq9S3LnOedrWGAzDV4Tay8mfSItGdLF2+bRHgpIA3VXfflxJle0QQS Wjn+3U99fMOt7ZoJJ+evAbrk4y9l6OA5CksJ1aRBouPs6f16mUNyq/xiUKgrK/PT xR/TXv82Uf+7jSdhnAKVBjidITwkS3IYrk/v+GzNH5LDK0JAbhjvVN0REueRy1W3 I+RfeeKLOmVmFEH4PN5JJ8lwTg63DGMElVImvGmjZDTdGGaTbzWNFuiKD2DFCw71 RyGrc5Vo9yQVzHSw54s8QFLwEBiaoKuo03kEviGIhdrCCJbqL8p7CrqlF5hVvqWM oJHA+XTTbtscCkAFhkTRfFqEVd2e8iVbdv/TzOOvoLqaoSh+oy8= =hBLn -----END PGP SIGNATURE----- --=_af794253232b481d1a1226321ea0296f-- From nobody Mon Feb 5 11:17:57 2024 X-Original-To: freebsd-hackers@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 4TT3lF4Y3Sz59kyc for ; Mon, 5 Feb 2024 11:18:01 +0000 (UTC) (envelope-from jbeich@freebsd.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2610:1c1:1:6074::16:84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "freefall.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TT3lF43M4z4gbY; Mon, 5 Feb 2024 11:18:01 +0000 (UTC) (envelope-from jbeich@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707131881; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=0xsibo0Fp92/mHg/mhRmNPnZPAvFY3ohKnFXan2We60=; b=i+q9nZY+z3Jn7Wiwl5AlM7jSJyP7bZtdbzk2dHWUiXrhFoFnZo5++SRG8QuNWLLxFHIbhm 8bzyqOkp4Lx1oVLCcl7P4YZQs0LUEF5VPfpNq+gZCiVn1OjkXhNtYLPvrO/BjIBr47XdZv PvzfxYg1uvWoyfLx8QJWA2gRd652m7Cysej6aeQS3cxmMIVl4GboNdqEpGAXwm+gOSRHP4 0tvQ96MpxE1deDtRFZfhIlglXvlROLiFoMQ1Th97gC5z4NyTkxJKjrXamFFguwwOZGanql xKzT8Su3nP8mjSLGFwuH/S66w0aLWrqfhA+jG67p20ngL1Mt6jv8aZ6/K4P/gg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707131881; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=0xsibo0Fp92/mHg/mhRmNPnZPAvFY3ohKnFXan2We60=; b=PvwpQL/Zv/Jr6Zte3GoXeqfAEk//BjORu052WunoAyEjaGi+UDFFFPJiNf+S4gYN+YFxR2 iIQ6WTX9FVtlBSB68aHr1scomn+nsbmrjiU/70Z7xO7Cz0L9uw2n1md3To9LX7bGMLvB6H Z17MXsz2RND0RNhwySvk2RdLZaBxFQqMcLGOcFkDz9ODgCtmWDWWY66NLJs0AYyS/GMlcV CjCaWg0PWWbk4QvIprgnkrXbPXbYieN4og95ErLVA3bfO+bmdDoaU3oALV0ajTRh3YNFDq WCBCqB+2SRzrheiuFXweaOC0xTIf14cXIpEEj4MG+B1b68NpyZTMCAaaqrJRXA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707131881; a=rsa-sha256; cv=none; b=AN6sMaDpsFqBN0eLdnqA7sMbG8uRZN7eObXMrg/yCFK/PS0Lu7LawRu+VdbfITF9tchxbz bzf+1vktT02/4WXhAaulRkBf4SmMEeqlaA0Iw8DlhvHnXnloQ07jwZTzfUQLYuLMm6n05A JMBT0m6iCNxGVD/eKQxTOPqC/GM6v/iYAaVYhs0tu4TwURjiru9O5FVnQXTt6ZBzW1ZIom 0madjsP0r6T9bN748N1zgt5sKC52uMc8sUKbxNn/T+X5ksGJNcJu3WeFYdTrkUQ2zJsG5D TRMViWsuZJdcBKkonF+PjmtfOC8Fpe02s2n3ijmcdclqHaELXv9TY9gHGMWxMg== Received: by freefall.freebsd.org (Postfix, from userid 1354) id 6CFFBBB18; Mon, 5 Feb 2024 11:18:01 +0000 (UTC) From: Jan Beich To: Alexander Leidinger Cc: sgk@troutmask.apl.washington.edu, "B. E." , freebsd-hackers@freebsd.org Subject: Re: GPU programming? In-Reply-To: <90ea0dd91b760b0b6f92065d09396545@Leidinger.net> (Alexander Leidinger's message of "Mon, 05 Feb 2024 08:55:58 +0100") References: <90ea0dd91b760b0b6f92065d09396545@Leidinger.net> Date: Mon, 05 Feb 2024 12:17:57 +0100 Message-ID: List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Content-Type: text/plain Alexander Leidinger writes: > ROCm: No idea. I have not seen any report about it working or even > being tried. But there was at least some discussion about it: > https://github.com/ROCm/ROCm/issues/138 > https://github.com/ROCm/ROCm/issues/1913 AFAIU (never owned an AMD GPU): - ROCm requires amdkfd.ko which drm-kmod doesn't provide since https://github.com/freebsd/drm-kmod/commit/a381f46adf8b - ROCm has poor *consumer* GPU support thus unattractive for volunteers/community to spend time porting > Intel: Maybe. We have spirv ports in the tree, and my limited > understanding is, that SPIR-V comes into play when someone wants to do > GPU compute there. CCing Jan as the port maintainer for the two spirv > ports. Maybe he can shed some light on this part. - Vulkan Compute works fine on every modern GPU (used at least by ncnn) - OpenCL works fine on Intel + AMD via Rusticl (Mesa), see https://cgit.freebsd.org/ports/commit/?id=d8990eff958b - OpenCL + oneAPI Level Zero via lang/intel-compute-runtime requires userptr, see https://github.com/FreeBSDDesktop/kms-drm/issues/197 As a volunteer I've burned out porting Intel stuff, so hopefully Rusticl kills Intel NEO (intel-compute-runtime) while Vulkan Video kills VA-API (libva-intel-media-driver) and QuickSyncVideo (intel-media-sdk + onevpl) Related https://www.phoronix.com/news/David-Airlie-oneAPI-Meetup From nobody Mon Feb 5 17:09:31 2024 X-Original-To: freebsd-hackers@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 4TTCXt6ZwXz58bGV for ; Mon, 5 Feb 2024 17:09:34 +0000 (UTC) (envelope-from sgk@troutmask.apl.washington.edu) Received: from troutmask.apl.washington.edu (troutmask.apl.washington.edu [128.95.76.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 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 4TTCXt3mzkz4SB6; Mon, 5 Feb 2024 17:09:34 +0000 (UTC) (envelope-from sgk@troutmask.apl.washington.edu) Authentication-Results: mx1.freebsd.org; none Received: from troutmask.apl.washington.edu (localhost [127.0.0.1]) by troutmask.apl.washington.edu (8.17.1/8.17.1) with ESMTP id 415H9VNb030627; Mon, 5 Feb 2024 09:09:31 -0800 (PST) (envelope-from sgk@troutmask.apl.washington.edu) DKIM-Filter: OpenDKIM Filter v2.10.3 troutmask.apl.washington.edu 415H9VNb030627 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=troutmask.apl.washington.edu; s=troutmask; t=1707152971; bh=ekZZ2vqn9Vutj8/qe8IvTtF/YrjBXc2SEJrF6oOwE3s=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=K1Cb5sGVCJn+T/HqQFvKOPi1ron7gb4l2HxYZ+8xs20jOC3AdfCGrVhZOntV2AB++ Ud+cRnaX5MBYZYDPDnrnn7qCBMGc/qAIrVpaloTqYtUJRHSETcqRrOREXXUuX/uLsA LpjeoZyvnyuBmwcW/wHFkUuj0h2ek93ZPxJF+YFzx3zOmElgr8jY5RVtomGiK6GT5O hvVVTg/hnYcy80qPNysthocbbFcdKadcswCQGxLBdVB3mYCpEeRMeKT1uasOzhPUrY U29TPMDNdPbI7cQ79SLnOFOfuilBRbwy6oq7BUV/6Hmp27n0ciMQWOdcL+Bnxh7gQn OUPNFk/UuFwrQ== Received: (from sgk@localhost) by troutmask.apl.washington.edu (8.17.1/8.17.1/Submit) id 415H9VjF030626; Mon, 5 Feb 2024 09:09:31 -0800 (PST) (envelope-from sgk) Date: Mon, 5 Feb 2024 09:09:31 -0800 From: Steve Kargl To: Jan Beich Cc: Alexander Leidinger , "B. E." , freebsd-hackers@freebsd.org Subject: Re: GPU programming? Message-ID: Reply-To: sgk@troutmask.apl.washington.edu References: <90ea0dd91b760b0b6f92065d09396545@Leidinger.net> List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Rspamd-Queue-Id: 4TTCXt3mzkz4SB6 X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:73, ipnet:128.95.0.0/16, country:US] On Mon, Feb 05, 2024 at 12:17:57PM +0100, Jan Beich wrote: > Alexander Leidinger writes: > > > ROCm: No idea. I have not seen any report about it working or even > > being tried. But there was at least some discussion about it: > > https://github.com/ROCm/ROCm/issues/138 > > https://github.com/ROCm/ROCm/issues/1913 > > AFAIU (never owned an AMD GPU): > - ROCm requires amdkfd.ko which drm-kmod doesn't provide since > https://github.com/freebsd/drm-kmod/commit/a381f46adf8b > - ROCm has poor *consumer* GPU support thus unattractive for > volunteers/community to spend time porting > > > Intel: Maybe. We have spirv ports in the tree, and my limited > > understanding is, that SPIR-V comes into play when someone wants to do > > GPU compute there. CCing Jan as the port maintainer for the two spirv > > ports. Maybe he can shed some light on this part. > > - Vulkan Compute works fine on every modern GPU (used at least by ncnn) > - OpenCL works fine on Intel + AMD via Rusticl (Mesa), see > https://cgit.freebsd.org/ports/commit/?id=d8990eff958b > - OpenCL + oneAPI Level Zero via lang/intel-compute-runtime requires userptr, see > https://github.com/FreeBSDDesktop/kms-drm/issues/197 > > As a volunteer I've burned out porting Intel stuff, so hopefully Rusticl > kills Intel NEO (intel-compute-runtime) while Vulkan Video kills VA-API > (libva-intel-media-driver) and QuickSyncVideo (intel-media-sdk + onevpl) > > Related https://www.phoronix.com/news/David-Airlie-oneAPI-Meetup Alexander, Jan, Thanks for the info. I'll check out the various links. This somewhat confirms my suspicion that little is being done with scientific numerical GPU computing in the FreeBSD. -- Steve From nobody Mon Feb 5 21:55:53 2024 X-Original-To: freebsd-hackers@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 4TTKvL3f83z595dL for ; Mon, 5 Feb 2024 21:55:58 +0000 (UTC) (envelope-from peter@skapet.bsdly.net) Received: from skapet.bsdly.net (skapet.bsdly.net [IPv6:2a03:94e0:182c::1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA512) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4TTKvK3lMwz55Xc for ; Mon, 5 Feb 2024 21:55:57 +0000 (UTC) (envelope-from peter@skapet.bsdly.net) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=bsdly.net header.s=x header.b="R +atd8B"; dmarc=pass (policy=none) header.from=bsdly.net; spf=pass (mx1.freebsd.org: domain of peter@skapet.bsdly.net designates 2a03:94e0:182c::1 as permitted sender) smtp.mailfrom=peter@skapet.bsdly.net DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=simple/simple; d=bsdly.net; s=x; h=Sender:Content-Type:MIME-Version:Message-ID:Subject:Cc:To:From:Date: Reply-To:Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date :Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:In-Reply-To: References:List-Id:List-Help:List-Unsubscribe:List-Subscribe:List-Post: List-Owner:List-Archive; bh=Kn9WFppluSP2XgOveA0Mx2VEr2PjOpRqKK6/B64hT2I=; b=R +atd8BClD0roGHe4YQ3vSkgCOKR2URYN6z46II1UjgIks9UdM6Jfof8VKWTbsWk/l6GJe6ndOoeLE rH84rHFpNoxzr5c+j0vMa72YqSP7h7nWbDnBOHeQkSnc3Kx50RiVOaVTfJuCGEW/zIwhbZaW2sgTs Ii1eapKVQEN4Gtus=; Received: from peter by skapet.bsdly.net with local (Exim 4.97) (envelope-from ) id 1rX6wT-00000000O0S-2y0Y; Mon, 05 Feb 2024 22:55:53 +0100 Date: Mon, 5 Feb 2024 22:55:53 +0100 From: "Peter N. M. Hansteen" To: freebsd-hackers@freebsd.org Cc: peter@bsdly.net Subject: BSDCan 2024 Call for papers: one week to get your submission done Message-ID: List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spamd-Bar: ---- X-Spamd-Result: default: False [-4.70 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_LONG(-1.00)[-1.000]; DWL_DNSWL_LOW(-1.00)[bsdly.net:dkim]; NEURAL_HAM_SHORT(-1.00)[-1.000]; DMARC_POLICY_ALLOW(-0.50)[bsdly.net,none]; FORGED_SENDER(0.30)[peter@bsdly.net,peter@skapet.bsdly.net]; R_DKIM_ALLOW(-0.20)[bsdly.net:s=x]; R_SPF_ALLOW(-0.20)[+mx]; ONCE_RECEIVED(0.10)[]; MIME_GOOD(-0.10)[text/plain]; RCVD_IN_DNSWL_LOW(-0.10)[2a03:94e0:182c::1:from]; ARC_NA(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; RCVD_TLS_LAST(0.00)[]; DKIM_TRACE(0.00)[bsdly.net:+]; RCVD_COUNT_ONE(0.00)[1]; FROM_HAS_DN(0.00)[]; FREEFALL_USER(0.00)[peter]; TO_DN_NONE(0.00)[]; FROM_NEQ_ENVFROM(0.00)[peter@bsdly.net,peter@skapet.bsdly.net]; MISSING_XM_UA(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; MID_RHS_MATCH_FROMTLD(0.00)[]; ASN(0.00)[asn:56655, ipnet:2a03:94e0::/32, country:NO]; MIME_TRACE(0.00)[0:+] X-Rspamd-Queue-Id: 4TTKvK3lMwz55Xc The BSDCan 2024 call for papers deadline is one week from now, 2024-02-12. Submit your proposal now and beat the rush! See https://www.bsdcan.org/2024/papers.php (direct link to the submissions system: https://indico.bsdcan.org/) BSDCan 2024 will be held 31 May - 1 June (Fri-Sat), 2024 in Ottawa, at the University of Ottawa. It will be preceded by two days of tutorials on 29-30 May (Wed-Thu). -- Peter N. M. Hansteen, member of the first RFC 1149 implementation team https://bsdly.blogspot.com/ https://www.bsdly.net/ https://www.nuug.no/ "Remember to set the evil bit on all malicious network traffic" delilah spamd[29949]: 85.152.224.147: disconnected after 42673 seconds. From nobody Mon Feb 5 23:45:04 2024 X-Original-To: freebsd-hackers@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 4TTNKT4Q3Vz59Hq7 for ; Mon, 5 Feb 2024 23:45:17 +0000 (UTC) (envelope-from jo@bruelltuete.com) Received: from email.jo-t.de (seppel.jo-t.de [45.132.244.126]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4TTNKS4xHjz44y0 for ; Mon, 5 Feb 2024 23:45:16 +0000 (UTC) (envelope-from jo@bruelltuete.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=bruelltuete.com header.s=bruelltuete18a header.b=GJm7BsQG; dmarc=pass (policy=none) header.from=bruelltuete.com; spf=pass (mx1.freebsd.org: domain of jo@bruelltuete.com designates 45.132.244.126 as permitted sender) smtp.mailfrom=jo@bruelltuete.com DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=bruelltuete.com; s=bruelltuete18a; t=1707176710; bh=dgIc53h6p0K1kDZuUqZXyQYpcxj1DwHYB1wfGymWgFo=; h=Message-ID:Date:MIME-Version:Subject:To:References:From:From; b=GJm7BsQGx508WMhXiNvrghbA7D6RTZ3w+2RgCtD9F7lfCQXBifTvcJPUfO1dFWdy/ qMU5sWDQZBLpkAsN6CVe6tmf6/On8jff9/VUYh1W3iruBztyUfjUK9R+9Z0y2frjZY Y3yWDnrB5Vf7pm95DYhk6RtnqloFJlB60HMs3nG0ID9J5sxJx/dZzOmv2ksD9IqiPe MAKcyjxd+4cG4e6Rd7RQSks3PY8ALh4xCzdYq1bagOOIvoA+BYwgn1p/R60EqoxAVn lZ+7QOSWjzAJ/rud9wpgj5w/f/2FWAr7T4iZ0G6xC4z7P7KJLfbFMdo9QkIej+EyPK KwIV8EobGWikA== Message-ID: <400978a4-31eb-4cb6-b914-911ffba380aa@bruelltuete.com> Date: Mon, 5 Feb 2024 23:45:04 +0000 List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Subject: Re: TPM2 on AMD Rizen (fTPM) Content-Language: en-GB To: Andrea Cocito , freebsd-hackers@freebsd.org References: <51A26E14-9374-4B1A-9DA1-A9E2A2B4E2EA@cocito.eu> <71AF606D-1685-43E5-9455-E1882EAECE96@cocito.eu> From: Johannes Totz In-Reply-To: <71AF606D-1685-43E5-9455-E1882EAECE96@cocito.eu> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spamd-Bar: --- X-Spamd-Result: default: False [-4.00 / 15.00]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_SHORT(-1.00)[-0.999]; DMARC_POLICY_ALLOW(-0.50)[bruelltuete.com,none]; R_DKIM_ALLOW(-0.20)[bruelltuete.com:s=bruelltuete18a]; R_SPF_ALLOW(-0.20)[+mx]; MIME_GOOD(-0.10)[text/plain]; TO_DN_SOME(0.00)[]; ARC_NA(0.00)[]; ASN(0.00)[asn:197540, ipnet:45.132.244.0/22, country:DE]; MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; FROM_HAS_DN(0.00)[]; RCVD_COUNT_ZERO(0.00)[0]; FROM_EQ_ENVFROM(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DKIM_TRACE(0.00)[bruelltuete.com:+] X-Rspamd-Queue-Id: 4TTNKS4xHjz44y0 On 04/02/2024 13:43, Andrea Cocito wrote: > Hello again, > > First thing: apologies for my email client messing up with charset encoding, hope is fixed now. > > Second, I add some detail/information. > > The machine is a bare metal on Hetzner, I do not have many details, it’s an AMD Ryzen 9 3900 12-Core/24-Threads toy with some motherboard using American Megatrends firmware; unfortunately I have very limited access to the console (one hour upon request…). > > As said the “fTPM” has been enabled in the firmare, and I also tried all the possible combinations of the settings in the firmware which could seem anyhow pertinent (SCM etc). > > The kernel is a custom-built one, simply stripped down to include statically all used devices/modules and drop the rest, compiled with -march=native as all the userland; no problem in rebooting with the GENERIC kernel, but I cannot imagine how it could help. > > Should any additional information be useful to give me some advice just ask, the machine is there to experiment. > > Thanks for any advice, > > A. I have previously made an attempt but got nowhere: https://lists.freebsd.org/archives/freebsd-hackers/2023-June/002334.html cheers, Johannes >> On 3 Feb 2024, at 18:21, Andrea Cocito wrote: >> >> Hi, >> >> I’m trying to enable TPM support on a box in order to experiment a bit with it, but the driver does not seem to load and/or see the device. >> >> In the firmware the “fTPM” option has been enabled, tried both with SCM enabled and disabled, basically I tried all the possible firmware options combinations with no success. >> >> I have tpm_load=“YES” in /boot/loader.conf and also tried the hints suggested by the man page is /boot/device.hints >> >> No way to have the tpm? device(s) appear, the best I achieved so far on dmesg in a verbose boot is: >> … >> Preloaded elf obj module "/boot/kernel.old/geom_mirror.ko" at 0xffffffff8196d8c0. >> Preloaded elf obj module "/boot/kernel.old/tpm.ko" at 0xffffffff8196dfb0. >> … >> tpm0 failed to probe at iomem 0xfffffffffed40000-0xfffffffffed44fff on isa0 >> tpm1 failed to probe at iomem 0xfffffffffed40000-0xfffffffffed40fff on isa0 >> … >> >> I am all but an expert about TPM architecture (this is why I am willing to play with it), but as far as I understand AMD’s fTPM is a TPM2 built into the CPU, I have no idea on which bus it should be seen and how. >> >> So my questions are: >> - Is AMD’s fTPM supported at all by the driver? >> - Am I missing something very obvious? >> >> I have been digging around for information quite a bit, but there does not seem to be much information around. Hope I am hitting the correct list (accept my apologies if it is not). >> >> Thanks in advance for any advice. > > > > From nobody Tue Feb 6 00:29:50 2024 X-Original-To: freebsd-hackers@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 4TTPKg5q4Vz59MW9 for ; Tue, 6 Feb 2024 00:30:31 +0000 (UTC) (envelope-from estrabd@gmail.com) Received: from mail-lf1-x133.google.com (mail-lf1-x133.google.com [IPv6:2a00:1450:4864:20::133]) (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 4TTPKg448Lz4Cc9; Tue, 6 Feb 2024 00:30:31 +0000 (UTC) (envelope-from estrabd@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-lf1-x133.google.com with SMTP id 2adb3069b0e04-5114cd44fdbso3340215e87.2; Mon, 05 Feb 2024 16:30:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707179428; x=1707784228; 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=Z0qM6lb7rOoAcv0gky20M5M+WkkbzWQnfUmflR98ETo=; b=NTuG1Icj5hTRLG06AfKr25TL9XtTJ43Rj+VblVXt49Xec61YXn+tipIwAotWcAP7Pg S6RpnlaWsS2SXxQ7aerbH8GcPqAxTgA+u5c6KP6L8pvZ+HEUWLvKI18EdPe0ZyBRsooe KGaqGUukIrJyOMPQ+bBqdVDPLp2iMj9dkgh25CyRsx13PT5rrWyve81gFIxryW44Llhg wS8agKB1fCCLZSSAREhp/Gviv8g8bLRzVCiWtfEXu5qWpKc6QPTRFFDh4ipT90CDorB3 oh2JPn99G350snRNXKOamUtFakDNHB8Fo327UIX2L71A7UAnj/EdZnWf9qn6L9blujJ1 T5pg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707179428; x=1707784228; 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=Z0qM6lb7rOoAcv0gky20M5M+WkkbzWQnfUmflR98ETo=; b=itdn/lx6NrQrcM8tcXZldqla3dqQrkmAplCb9GU8Af0SiIaqWTfJ+LNbu9yLHx0FpY +4AoQHyae6JYbmZoX78LsaBoYbFN0Ukw6XaFmZ3EgHIJcmZBDrCj6SYyIgn7oGopjwp2 12PBY2dIgXQouoX8gO1Vd2wkhOQflRS6ytkFZ8KjDvI8kX1nJD/aKunBW7JzeK+egigY TcHgJV+IsX+kYGIvdlh8QjZrF/5bqe1QVJucMN+PN2K3FggqVq0FARvbUV5sf8BEf70V ayLKV1rrkyYCdYXxkIqtnFTK+38bo7wNOucnLY39RWyC2gIMc6m2Q9IJOOjpSpSzQVGr RC+Q== X-Gm-Message-State: AOJu0YxYYqwyA+AVAkqfrqPpbhXNpcheWkA7RcClhNsJRozJhpdhdGE4 QVWuM1z4ufnFqsIyrV14kxLBi9/nvAGxVBXpwwTx5kUKYg5nK5KkvO1RTb6k3rjQ1EHwYtWrMu/ 7DRJJMW5lpR8l3lSOVqfrX1Rkl3ZQn2HK X-Google-Smtp-Source: AGHT+IGPW7kPfxx+SA3PwbfI9aRNftB9Z2V8gRARlhZ7wBhagwbUX5fMDWLXBPH8FLdr06AupIX0ITKeaAyxdlHkIQs= X-Received: by 2002:ac2:547a:0:b0:511:4808:c714 with SMTP id e26-20020ac2547a000000b005114808c714mr765395lfn.61.1707179427494; Mon, 05 Feb 2024 16:30:27 -0800 (PST) List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 References: <90ea0dd91b760b0b6f92065d09396545@Leidinger.net> In-Reply-To: From: "B. E." Date: Mon, 5 Feb 2024 18:29:50 -0600 Message-ID: Subject: Re: GPU programming? To: sgk@troutmask.apl.washington.edu Cc: Jan Beich , Alexander Leidinger , freebsd-hackers@freebsd.org Content-Type: multipart/alternative; boundary="00000000000057ff800610abafce" X-Rspamd-Queue-Id: 4TTPKg448Lz4Cc9 X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US] --00000000000057ff800610abafce Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Not surprising since most academic HPCs and HPC-enabled clouds (Oracle, Azure) are generally running some version of RHEL. The former is where the largest GPU resources are available to most folks (e.g., TACC), as I am sure you already know. OTOH, someone doing with FreeBSD is likely just wanting it for a workstation or some single node, many-core server they picked up cheap off of eBay or an e-cycler; (basically me, but I focus on OpenMP and standard CPU SMP). If you're doing AI related things, then a lot of sites are starting to spring up that sell GPU heavy single box builds, but those are also assuming some kind of Linux. Brett On Mon, Feb 5, 2024 at 11:10=E2=80=AFAM Steve Kargl < sgk@troutmask.apl.washington.edu> wrote: > On Mon, Feb 05, 2024 at 12:17:57PM +0100, Jan Beich wrote: > > Alexander Leidinger writes: > > > > > ROCm: No idea. I have not seen any report about it working or even > > > being tried. But there was at least some discussion about it: > > > https://github.com/ROCm/ROCm/issues/138 > > > https://github.com/ROCm/ROCm/issues/1913 > > > > AFAIU (never owned an AMD GPU): > > - ROCm requires amdkfd.ko which drm-kmod doesn't provide since > > https://github.com/freebsd/drm-kmod/commit/a381f46adf8b > > - ROCm has poor *consumer* GPU support thus unattractive for > > volunteers/community to spend time porting > > > > > Intel: Maybe. We have spirv ports in the tree, and my limited > > > understanding is, that SPIR-V comes into play when someone wants to d= o > > > GPU compute there. CCing Jan as the port maintainer for the two spirv > > > ports. Maybe he can shed some light on this part. > > > > - Vulkan Compute works fine on every modern GPU (used at least by ncnn) > > - OpenCL works fine on Intel + AMD via Rusticl (Mesa), see > > https://cgit.freebsd.org/ports/commit/?id=3Dd8990eff958b > > - OpenCL + oneAPI Level Zero via lang/intel-compute-runtime requires > userptr, see > > https://github.com/FreeBSDDesktop/kms-drm/issues/197 > > > > As a volunteer I've burned out porting Intel stuff, so hopefully Rustic= l > > kills Intel NEO (intel-compute-runtime) while Vulkan Video kills VA-API > > (libva-intel-media-driver) and QuickSyncVideo (intel-media-sdk + onevpl= ) > > > > Related https://www.phoronix.com/news/David-Airlie-oneAPI-Meetup > > Alexander, Jan, > > Thanks for the info. I'll check out the various links. > This somewhat confirms my suspicion that little is being > done with scientific numerical GPU computing in the FreeBSD. > > -- > Steve > > --00000000000057ff800610abafce Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Not surprising since most academic HPCs and HPC-enabled cl= ouds (Oracle, Azure) are generally running some version of RHEL. The former= is where the largest GPU resources are available to most folks (e.g., TACC= ), as I am sure you already know. OTOH, someone doing with FreeBSD is likel= y just wanting it for a workstation or some single node, many-core server t= hey picked up cheap off of eBay or an e-cycler; (basically me, but I focus = on OpenMP and standard CPU SMP). If you're doing AI related things, the= n a lot of sites are starting to spring up that sell GPU heavy single box b= uilds, but those are also assuming some kind of Linux.

B= rett

On Mon, Feb 5, 2024 at 11:10=E2=80=AFAM Steve Kargl <sgk@troutmas= k.apl.washington.edu> wrote:
On Mon, Feb 05, 2024 at 12:17:57PM +0100, Jan Beich wro= te:
> Alexander Leidinger <Alexander@Leidinger.net> writes:
>
> > ROCm: No idea. I have not seen any report about it working or eve= n
> > being tried. But there was at least some discussion about it:
> >=C2=A0 =C2=A0 =C2=A0https://github.com/ROCm/ROCm/iss= ues/138
> >=C2=A0 =C2=A0 =C2=A0https://github.com/ROCm/ROCm/is= sues/1913
>
> AFAIU (never owned an AMD GPU):
> - ROCm requires amdkfd.ko which drm-kmod doesn't provide since
>=C2=A0 =C2=A0https://github.com/freebsd/d= rm-kmod/commit/a381f46adf8b
> - ROCm has poor *consumer* GPU support thus unattractive for
>=C2=A0 =C2=A0volunteers/community to spend time porting
>
> > Intel: Maybe. We have spirv ports in the tree, and my limited
> > understanding is, that SPIR-V comes into play when someone wants = to do
> > GPU compute there. CCing Jan as the port maintainer for the two s= pirv
> > ports. Maybe he can shed some light on this part.
>
> - Vulkan Compute works fine on every modern GPU (used at least by ncnn= )
> - OpenCL works fine on Intel + AMD via Rusticl (Mesa), see
>=C2=A0 =C2=A0https://cgit.freebsd.org/po= rts/commit/?id=3Dd8990eff958b
> - OpenCL + oneAPI Level Zero via lang/intel-compute-runtime requires u= serptr, see
>=C2=A0 =C2=A0https://github.com/FreeBSDDeskt= op/kms-drm/issues/197
>
> As a volunteer I've burned out porting Intel stuff, so hopefully R= usticl
> kills Intel NEO (intel-compute-runtime) while Vulkan Video kills VA-AP= I
> (libva-intel-media-driver) and QuickSyncVideo (intel-media-sdk + onevp= l)
>
> Related https://www.phoronix.com/news/D= avid-Airlie-oneAPI-Meetup

Alexander, Jan,

Thanks for the info.=C2=A0 I'll check out the various links.
This somewhat confirms my suspicion that little is being
done with scientific numerical GPU computing in the FreeBSD.

--
Steve

--00000000000057ff800610abafce-- From nobody Tue Feb 6 15:25:37 2024 X-Original-To: freebsd-hackers@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 4TTnBm1ZfPz59RfQ for ; Tue, 6 Feb 2024 15:25:52 +0000 (UTC) (envelope-from andrea@cocito.eu) Received: from mail-wm1-x32e.google.com (mail-wm1-x32e.google.com [IPv6:2a00:1450:4864:20::32e]) (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 4TTnBl4vd0z4jVm for ; Tue, 6 Feb 2024 15:25:51 +0000 (UTC) (envelope-from andrea@cocito.eu) Authentication-Results: mx1.freebsd.org; none Received: by mail-wm1-x32e.google.com with SMTP id 5b1f17b1804b1-40efcb37373so8647945e9.2 for ; Tue, 06 Feb 2024 07:25:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cocito-eu.20230601.gappssmtp.com; s=20230601; t=1707233150; x=1707837950; darn=freebsd.org; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:from:to:cc:subject:date:message-id:reply-to; bh=zShXJELUXceceIW/94TZHY2t9Wjhvg/AN9zDS4epZs4=; b=GvuXHCo7MPfjmPmup1yILkzjObr4A2PbFTuqjaQKlxC7aTQEXQiG+M4uxwOUcxm7Jg IaFFNjuAeIlnKceeYM2C6W4e2423KcEUufddZ+BYcKR/4ggt9HXIk8UdWv9FO7CFe8EC MDg2TF5hAULDxmD+hg/2UOYObMdMXukq8Sg8476UlQS9sKv6UmZjb4uUJQOOoxqXCj+6 szhd4i3zE2jwHrfpqRrdVY/21x1/IWunXnMsJkJvJOGSmnTIlkm0xmSDT68TNoZznNvE LhjmnkyMo6onYRwpguCG0Z3g6t1G1mfmQ3wMzglPlbT93ZWqU7s7jAiK/aIoul7G6sQZ UbPQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707233150; x=1707837950; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=zShXJELUXceceIW/94TZHY2t9Wjhvg/AN9zDS4epZs4=; b=AK9xRrOfPr9wRKFCkVmMyO+PGPF/iM+0ROVdVn3X91pW4Me0/P/D/CahNPAue55Te7 AaXyN8fISUS76v5q0wCdwh11sU+zRKzW+OKzGxoPWVpMklXE9nvBCb3uQyawjZCfwLkV s1L0k6osyZAUVJnkG+qCe/vLWUWEB4/nW8vsiUQHoV56Qs2gZGog7Tn/UnQs56AqBpL1 vwq1UEzzis54Hdol4RALmn/oqWeNDzXdSALQvIdwMaX2KrbSy9wEDHjwsk8oMR5kC+Yl dMzkhwYVgulFMjkBIKOmykWA2UKmfLmC4jAzQWbJS4mSxLtil3ts6GAdTHgMkzu4mkKx VeNQ== X-Gm-Message-State: AOJu0YxIfhFZkhI6jL/lxXDMFpij9PGfYLIDE06CsS9/+oH2N2756V0d fwmENoFmgo9LU0V3L6Dun7yEBaurYrPYKCf/GO6sZkgtM6LNP4F3e6wl1gjHrWNVLjfIIRKPWeT 6 X-Google-Smtp-Source: AGHT+IFqJr92htcr8BhIQWPL5qD+52e7vXZkBO2NzJU2TlR9bW8rxf4cXD0rQY5Frvrev+eKZFZAuQ== X-Received: by 2002:a05:600c:5249:b0:40f:d22e:f9e9 with SMTP id fc9-20020a05600c524900b0040fd22ef9e9mr2609219wmb.10.1707233149316; Tue, 06 Feb 2024 07:25:49 -0800 (PST) Received: from smtpclient.apple ([185.8.198.100]) by smtp.gmail.com with ESMTPSA id u20-20020a05600c19d400b0040fddd8de88sm2370105wmq.15.2024.02.06.07.25.48 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 06 Feb 2024 07:25:48 -0800 (PST) From: Andrea Cocito Message-Id: Content-Type: multipart/alternative; boundary="Apple-Mail=_21C8DA0F-5045-4026-90DD-32FD30402225" List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.300.61.1.2\)) Subject: Re: TPM2 on AMD Rizen (fTPM) Date: Tue, 6 Feb 2024 16:25:37 +0100 In-Reply-To: <400978a4-31eb-4cb6-b914-911ffba380aa@bruelltuete.com> Cc: freebsd-hackers@freebsd.org To: Johannes Totz References: <51A26E14-9374-4B1A-9DA1-A9E2A2B4E2EA@cocito.eu> <71AF606D-1685-43E5-9455-E1882EAECE96@cocito.eu> <400978a4-31eb-4cb6-b914-911ffba380aa@bruelltuete.com> X-Mailer: Apple Mail (2.3774.300.61.1.2) X-Rspamd-Queue-Id: 4TTnBl4vd0z4jVm X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US] --Apple-Mail=_21C8DA0F-5045-4026-90DD-32FD30402225 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thanks for the reference, Despite a long search I had not seen that thread; it=E2=80=99s a lot = helpful as it can head me at the pertinent parts in the source. I=E2=80=99ll try to take a look at the code. A. > On 6 Feb 2024, at 00:45, Johannes Totz wrote: >=20 > On 04/02/2024 13:43, Andrea Cocito wrote: >> Hello again, >> First thing: apologies for my email client messing up with charset = encoding, hope is fixed now. >> Second, I add some detail/information. >> The machine is a bare metal on Hetzner, I do not have many details, = it=E2=80=99s an AMD Ryzen 9 3900 12-Core/24-Threads toy with some = motherboard using American Megatrends firmware; unfortunately I have = very limited access to the console (one hour upon request=E2=80=A6). >> As said the =E2=80=9CfTPM=E2=80=9D has been enabled in the firmare, = and I also tried all the possible combinations of the settings in the = firmware which could seem anyhow pertinent (SCM etc). >> The kernel is a custom-built one, simply stripped down to include = statically all used devices/modules and drop the rest, compiled with = -march=3Dnative as all the userland; no problem in rebooting with the = GENERIC kernel, but I cannot imagine how it could help. >> Should any additional information be useful to give me some advice = just ask, the machine is there to experiment. >> Thanks for any advice, >> A. >=20 > I have previously made an attempt but got nowhere: = https://lists.freebsd.org/archives/freebsd-hackers/2023-June/002334.html >=20 >=20 > cheers, >=20 > Johannes >=20 >>> On 3 Feb 2024, at 18:21, Andrea Cocito wrote: >>>=20 >>> Hi, >>>=20 >>> I=E2=80=99m trying to enable TPM support on a box in order to = experiment a bit with it, but the driver does not seem to load and/or = see the device. >>>=20 >>> In the firmware the =E2=80=9CfTPM=E2=80=9D option has been enabled, = tried both with SCM enabled and disabled, basically I tried all the = possible firmware options combinations with no success. >>>=20 >>> I have tpm_load=3D=E2=80=9CYES=E2=80=9D in /boot/loader.conf and = also tried the hints suggested by the man page is /boot/device.hints >>>=20 >>> No way to have the tpm? device(s) appear, the best I achieved so far = on dmesg in a verbose boot is: >>> =E2=80=A6 >>> Preloaded elf obj module "/boot/kernel.old/geom_mirror.ko" at = 0xffffffff8196d8c0. >>> Preloaded elf obj module "/boot/kernel.old/tpm.ko" at = 0xffffffff8196dfb0. >>> =E2=80=A6 >>> tpm0 failed to probe at iomem 0xfffffffffed40000-0xfffffffffed44fff = on isa0 >>> tpm1 failed to probe at iomem 0xfffffffffed40000-0xfffffffffed40fff = on isa0 >>> =E2=80=A6 >>>=20 >>> I am all but an expert about TPM architecture (this is why I am = willing to play with it), but as far as I understand AMD=E2=80=99s fTPM = is a TPM2 built into the CPU, I have no idea on which bus it should be = seen and how. >>>=20 >>> So my questions are: >>> - Is AMD=E2=80=99s fTPM supported at all by the driver? >>> - Am I missing something very obvious? >>>=20 >>> I have been digging around for information quite a bit, but there = does not seem to be much information around. Hope I am hitting the = correct list (accept my apologies if it is not). >>>=20 >>> Thanks in advance for any advice. --Apple-Mail=_21C8DA0F-5045-4026-90DD-32FD30402225 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Thanks for the = reference,

Despite a long search I had not seen that = thread; it=E2=80=99s a lot helpful as it can head me at the pertinent = parts in the source.

I=E2=80=99ll try to take a = look at the code.

A.

On 6 Feb 2024, at 00:45, Johannes Totz = <jo@bruelltuete.com> wrote:

On 04/02/2024 13:43, Andrea Cocito = wrote:
Hello again,
First thing: apologies for my = email client messing up with charset encoding, hope is fixed = now.
Second, I add some detail/information.
The machine is a bare = metal on Hetzner, I do not have many details, it=E2=80=99s an AMD Ryzen = 9 3900 12-Core/24-Threads toy with some motherboard using American = Megatrends firmware; unfortunately I have very limited access to the = console (one hour upon request=E2=80=A6).
As said the =E2=80=9CfTPM=E2=80= =9D has been enabled in the firmare, and I also tried all the possible = combinations of the settings in the firmware which could seem anyhow = pertinent (SCM etc).
The kernel is a custom-built one, simply = stripped down to include statically all used devices/modules and drop = the rest, compiled with -march=3Dnative as all the userland; no problem = in rebooting with the GENERIC kernel, but I cannot imagine how it could = help.
Should any additional information be useful to give me some = advice just ask, the machine is there to experiment.
Thanks for any = advice,
A.

I have = previously made an attempt but got nowhere: https://lists.freebsd.org/archives/freebsd-hackers/2023-June/002334.= html


cheers,

Johannes

On 3 Feb 2024, at = 18:21, Andrea Cocito <andrea@cocito.eu> = wrote:

Hi,

I=E2=80=99m trying to enable TPM support on a = box in order to experiment a bit with it, but the driver does not seem = to load and/or see the device.

In the firmware the =E2=80=9CfTPM=E2= =80=9D option has been enabled, tried both with SCM enabled and = disabled, basically I tried all the possible firmware options = combinations with no success.

I have tpm_load=3D=E2=80=9CYES=E2=80=9D= in /boot/loader.conf and also tried the hints suggested by the man page = is /boot/device.hints

No way to have the tpm? device(s) appear, = the best I achieved so far on dmesg in a verbose boot = is:
=E2=80=A6
Preloaded elf obj module = "/boot/kernel.old/geom_mirror.ko" at 0xffffffff8196d8c0.
Preloaded = elf obj module "/boot/kernel.old/tpm.ko" at = 0xffffffff8196dfb0.
=E2=80=A6
tpm0 failed to probe at iomem = 0xfffffffffed40000-0xfffffffffed44fff on isa0
tpm1 failed to probe at = iomem 0xfffffffffed40000-0xfffffffffed40fff on isa0
=E2=80=A6

I = am all but an expert about TPM architecture (this is why I am willing to = play with it), but as far as I understand AMD=E2=80=99s fTPM is a TPM2 = built into the CPU, I have no idea on which bus it should be seen and = how.

So my questions are:
- Is AMD=E2=80=99s fTPM supported at = all by the driver?
- Am I missing something very obvious?

I = have been digging around for information quite a bit, but there does not = seem to be much information around. Hope I am hitting the correct list = (accept my apologies if it is not).

Thanks in advance for any = advice.

= --Apple-Mail=_21C8DA0F-5045-4026-90DD-32FD30402225-- From nobody Tue Feb 6 15:53:53 2024 X-Original-To: freebsd-hackers@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 4TTnr531Yzz59Vgg for ; Tue, 6 Feb 2024 15:54:45 +0000 (UTC) (envelope-from joel.bertrand@systella.fr) Received: from rayleigh.systella.fr (rayleigh.systella.fr [IPv6:2a0a:1c84:1000:a00::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "*.systella.fr", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TTnr263Yjz4qMX for ; Tue, 6 Feb 2024 15:54:42 +0000 (UTC) (envelope-from joel.bertrand@systella.fr) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=systella.fr header.s=mail header.b=NL+3aPfo; dmarc=pass (policy=none) header.from=systella.fr; spf=pass (mx1.freebsd.org: domain of joel.bertrand@systella.fr designates 2a0a:1c84:1000:a00::2 as permitted sender) smtp.mailfrom=joel.bertrand@systella.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=systella.fr; s=mail; t=1707234863; bh=ZbYJ8q0B3cAXaAv8y67VUBo0k3UmE2kjJHdauedgJdA=; h=To:From:Subject:Date:From; b=NL+3aPfocu5j5mDqAGfWA29rlBQYyY3g91rOy8L0dTC1CW2vnY0rfdmpQDmj7KvsL JHENvz9lhUu1cDuycTyCZ9ptjz8PkdtdRs9GfK8mn262xugR54UMZBcdBZcLBzwiKz wAyvqXSU85BknM6iYij5Ws92drRTq8Sgh0hoNCVVF591OGa7KyxE0eANNAe7z17llf tHmWV73nLG8Wzhw7d/UcQdNyus86qUHmztGy3TZVZU6MU76sE2kpt1re4Y0NSF2Sfp ETx1meJanCwEZEa9QNjHrJEJ2yJ2btrV1mYB+dGTpHOVh/4y0dx62QfsDiEEg+PuTB CZ//utarRDt+g== Received: from [192.168.10.103] (hilbert.systella.fr [192.168.10.103]) (authenticated bits=0) by rayleigh.systella.fr (8.17.2/8.17.2/Debian-1) with ESMTPSA id 416FsMcs032656 (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT) for ; Tue, 6 Feb 2024 16:54:23 +0100 To: freebsd-hackers@freebsd.org From: =?UTF-8?Q?BERTRAND_Jo=c3=abl?= Subject: [FreeBSD 14.0-RELEASE-p3] Regression with realtek-re-kmod Autocrypt: addr=joel.bertrand@systella.fr; prefer-encrypt=mutual; keydata= mDMEZRwX3xYJKwYBBAHaRw8BAQdAPnfO4wC5CMbkYaOioVYbTVmx5dnKJwvYZ8EKDFyZGyO0 KkJFUlRSQU5EIEpvw6tsIDxqb2VsLmJlcnRyYW5kQHN5c3RlbGxhLmZyPoiMBBAWCgA+BYJl HBffBAsJBwgJkMVb+z+YwtcIAxUICgQWAAIBAhkBApsDAh4BFiEEI/DFvIjrAtkVxM55xVv7 P5jC1wgAADaKAQCkdx4kqKvHPhJGYGrq2VXpJQhdOqE9Asq/kkw+GS4c6AD9GdILmmQUH3Tn KZCiY2wzujE2j1VjOmCPHfn+7X8gYAG4OARlHBffEgorBgEEAZdVAQUBAQdAyvP3E1DykVzz 7VjVTT3JcAZOnV4tjH3Pnu+YwGJdylEDAQgHiHgEGBYIACoFgmUcF98JkMVb+z+YwtcIApsM FiEEI/DFvIjrAtkVxM55xVv7P5jC1wgAADU2AP4l7GE6+jTfSEoE1p/NRZ3Au5cWxRXSim70 Ka7nW9E4NAD9FuYgs7TCaiKkcu6pnRVaFkEYUC41LzbHjATtY0czBg4= Message-ID: Date: Tue, 6 Feb 2024 16:53:53 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.1 List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="wXdY87LP04fgwBb4wYpXVtdV5IiNefuQi" X-Virus-Scanned: clamav-milter 1.0.3 at rayleigh X-Virus-Status: Clean X-Spamd-Bar: ----- X-Spamd-Result: default: False [-5.97 / 15.00]; SIGNED_PGP(-2.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-0.97)[-0.972]; DMARC_POLICY_ALLOW(-0.50)[systella.fr,none]; MIME_GOOD(-0.20)[multipart/signed,multipart/mixed,text/plain]; R_SPF_ALLOW(-0.20)[+a:rayleigh.systella.fr]; R_DKIM_ALLOW(-0.20)[systella.fr:s=mail]; ONCE_RECEIVED(0.10)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCPT_COUNT_ONE(0.00)[1]; ASN(0.00)[asn:44407, ipnet:2a0a:1c80::/29, country:FR]; MIME_TRACE(0.00)[0:+,1:+,2:+,3:~]; RCVD_COUNT_ONE(0.00)[1]; RCVD_TLS_ALL(0.00)[]; DKIM_TRACE(0.00)[systella.fr:+]; MID_RHS_MATCH_FROM(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; ARC_NA(0.00)[]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-hackers@freebsd.org]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MLMMJ_DEST(0.00)[freebsd-hackers@freebsd.org]; HAS_ATTACHMENT(0.00)[] X-Rspamd-Queue-Id: 4TTnr263Yjz4qMX This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --wXdY87LP04fgwBb4wYpXVtdV5IiNefuQi Content-Type: multipart/mixed; boundary="nzfR0NfEIHJP2d6rAuvBUWpp9BOOhDdM3" --nzfR0NfEIHJP2d6rAuvBUWpp9BOOhDdM3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hello, I use a /diskless/ workstation that ran FreeBSD 14.0-RELEASE-p0 for a while without trouble. Motherboard contains two ethernet adapters : re0 and em0. I'm unable to boot with em0 (why ? em0 can obtain an IP address but PXE doesn't load binaries on tftp server...). Thus, system is configured to use re0. This morning, I have upgraded my packages as I have to upgrade firefox. Thus, I have launched : - pkg upgrade - freebsd-update fetch - freebsd-update install My boot/loader.conf contains: pythagore:[/boot] > cat loader.conf coretemp_load=3D"YES" hw.re.max_rx_mbuf_sz=3D"2048" #if_re_load=3D"YES" #if_re_name=3D"/boot/modules/if_re.ko" cpuctl_load=3D"YES" cuse_load=3D"YES" tmpfs_load=3D"YES" pythagore:[/boot] > If I use kernel re driver, system randomly hangs (re0 stops after some days) but it boots. Now, if I uncomment if_re_load and if_re_name, kernel loads if_re module, starts its initialization and hangs just after "starting syslog". System cannot be pinged from another station (host is down). Does someone use realtek-re-kmod with a recent kernel in this configuration ? Best regards, JB --nzfR0NfEIHJP2d6rAuvBUWpp9BOOhDdM3-- --wXdY87LP04fgwBb4wYpXVtdV5IiNefuQi Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQQj8MW8iOsC2RXEznnFW/s/mMLXCAUCZcJWKQAKCRDFW/s/mMLX CM8hAQDt0X2ANFWxZ45Cs4vU64kt1lNphYHoJH97z+uC/KyQhQEApIsOD6vTegs3 eel43ixfamznXp6E1xZb7VCv6H/RHws= =EKkN -----END PGP SIGNATURE----- --wXdY87LP04fgwBb4wYpXVtdV5IiNefuQi-- From nobody Tue Feb 6 16:01:29 2024 X-Original-To: freebsd-hackers@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 4TTnzw3yRCz59Vp3 for ; Tue, 6 Feb 2024 16:01:32 +0000 (UTC) (envelope-from kirjanov@gmail.com) Received: from mail-ed1-x536.google.com (mail-ed1-x536.google.com [IPv6:2a00:1450:4864:20::536]) (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 4TTnzw14M4z4rvh for ; Tue, 6 Feb 2024 16:01:32 +0000 (UTC) (envelope-from kirjanov@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-ed1-x536.google.com with SMTP id 4fb4d7f45d1cf-55369c59708so2114847a12.1 for ; Tue, 06 Feb 2024 08:01:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707235291; x=1707840091; darn=freebsd.org; h=cc:to:subject:message-id:date:from:references:in-reply-to :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=67xwwhjL6U9/njPTMC587l+PAqreq5DuD7TZ80uDwNc=; b=Ct3O9ns9AYZE8LQ+KidQQOJ0cmTmwU3irE+GVCfNZERSqitaj3FOhniVCCFK9Tg7tW 9yqL/824Ybv0dtX+Eg68GY3tT3Kvuwpr6lvXJutmHUStawpqUz/CTRjd7qiJ/BYD+xI4 eeiFSVlfyAofbKtHvSLpSIupfR7ND5Ow23mi9/N6rkXwvyJxu1h7n7/K4sw5WE5j+KBG ERQv77u9bwC+/qVz2Sz+0cWWchMvXC1Bo4uAlEorsqAoZ4uMNPR4sdmv+WQwvPuV8xtc AmFpAs9C5pgc3XEC3/IVWZMQmdnjoNUv233EArjZoFhGqTcqvJ6WTnul291b+Br0IzpC 6zBA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707235291; x=1707840091; h=cc:to:subject:message-id:date:from:references:in-reply-to :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=67xwwhjL6U9/njPTMC587l+PAqreq5DuD7TZ80uDwNc=; b=KxZAsw9I784s30fr3ophJCGpcQK9qtPFk7uJyKPn5DlfzifgOLXfDheDHeL+3ZiZby kj6a0r1QFrPXc9fRaYagVGEzMyikfU1TakureNiOKUH1M47kevcuJyA/WBgqifKjkWik XoqTQ9RXRk/qIF/ZUDCd1ryL25wEwVDJwkWtjfaT939117DEr91CG9RQPtMX+Sqhz1n0 XpcSHV02HWOsjcnNod3u00kF8nMkYbeaJ2g1daokQMkT3zat9W5n3MLYKzMPH72ip0gg eKHl0lvkJJGgwHLP4uq1HickDOULTNz0STJoTICqnEmp+5dnl9hdAA+qV7QrJhdBa31l 8jpA== X-Gm-Message-State: AOJu0YwORP1bAvX1H0H/GN1cACnRH2Z6qxFnCgbHQrdRvVNHKTk88r9V LvEsutj3pdCWM3ECHH74icY+HEi98ERp3lQWU+jZJc487OpYho3V4i0dsio38WlwYj16lnqqZX5 H7hGdE64+7aqTPDOURxunVCWcyn6mjI9TNifUNA== X-Google-Smtp-Source: AGHT+IGjJb5+/hziU8WHYsNcYQ6RjN/ChX6wYlTbpsbTgBa0p4WxsnDBe3CVK163IX3aPlpvNrjGtZFPNFO+zqLXiHU= X-Received: by 2002:a50:d6c6:0:b0:560:3109:57e7 with SMTP id l6-20020a50d6c6000000b00560310957e7mr1824754edj.0.1707235290401; Tue, 06 Feb 2024 08:01:30 -0800 (PST) List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 Received: by 2002:a54:2b46:0:b0:24a:41be:dcf2 with HTTP; Tue, 6 Feb 2024 08:01:29 -0800 (PST) In-Reply-To: References: From: Denis Kirjanov Date: Tue, 6 Feb 2024 19:01:29 +0300 Message-ID: Subject: Re: [FreeBSD 14.0-RELEASE-p3] Regression with realtek-re-kmod To: =?UTF-8?Q?BERTRAND_Jo=C3=ABl?= Cc: "freebsd-hackers@freebsd.org" Content-Type: multipart/alternative; boundary="000000000000084ec30610b8b170" X-Rspamd-Queue-Id: 4TTnzw14M4z4rvh X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US] --000000000000084ec30610b8b170 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =D0=B2=D1=82=D0=BE=D1=80=D0=BD=D0=B8=D0=BA, 6 =D1=84=D0=B5=D0=B2=D1=80=D0= =B0=D0=BB=D1=8F 2024=E2=80=AF=D0=B3. =D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0=BE= =D0=B2=D0=B0=D1=82=D0=B5=D0=BB=D1=8C BERTRAND Jo=C3=ABl < joel.bertrand@systella.fr> =D0=BD=D0=B0=D0=BF=D0=B8=D1=81=D0=B0=D0=BB: > Hello, > > I use a /diskless/ workstation that ran FreeBSD 14.0-RELEASE-p0 > for a > while without trouble. Motherboard contains two ethernet adapters : re0 > and em0. I'm unable to boot with em0 (why ? em0 can obtain an IP address > but PXE doesn't load binaries on tftp server...). Thus, system is > configured to use re0. > > This morning, I have upgraded my packages as I have to upgrade > firefox. > Thus, I have launched : > - pkg upgrade > - freebsd-update fetch > - freebsd-update install > > My boot/loader.conf contains: > > pythagore:[/boot] > cat loader.conf > coretemp_load=3D"YES" > hw.re.max_rx_mbuf_sz=3D"2048" > #if_re_load=3D"YES" > #if_re_name=3D"/boot/modules/if_re.ko" > cpuctl_load=3D"YES" > cuse_load=3D"YES" > tmpfs_load=3D"YES" > pythagore:[/boot] > > > If I use kernel re driver, system randomly hangs (re0 stops after > some > days) but it boots. Now, if I uncomment if_re_load and if_re_name, > kernel loads if_re module, starts its initialization and hangs just > after "starting syslog". System cannot be pinged from another station > (host is down). > > Does someone use realtek-re-kmod with a recent kernel in this > configuration ? What was the last working version? At least you can try git bisect to figure out the first bad commit > > Best regards, > > JB > > --=20 Regards / Mit besten Gr=C3=BC=C3=9Fen, Denis --000000000000084ec30610b8b170 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

=D0=B2=D1=82=D0=BE=D1=80=D0=BD=D0=B8=D0=BA, 6 =D1=84=D0=B5=D0=B2=D1= =80=D0=B0=D0=BB=D1=8F 2024=E2=80=AF=D0=B3. =D0=BF=D0=BE=D0=BB=D1=8C=D0=B7= =D0=BE=D0=B2=D0=B0=D1=82=D0=B5=D0=BB=D1=8C BERTRAND Jo=C3=ABl <joel.bertrand@systella.fr> =D0= =BD=D0=B0=D0=BF=D0=B8=D1=81=D0=B0=D0=BB:
= =C2=A0 =C2=A0 =C2=A0 =C2=A0 Hello,

=C2=A0 =C2=A0 =C2=A0 =C2=A0 I use a /diskless/ workstation that ran FreeBSD= 14.0-RELEASE-p0 for a
while without trouble. Motherboard contains two ethernet adapters : re0
and em0. I'm unable to boot with em0 (why ? em0 can obtain an IP addres= s
but PXE doesn't load binaries on tftp server...). Thus, system is
configured to use re0.

=C2=A0 =C2=A0 =C2=A0 =C2=A0 This morning, I have upgraded my packages as I = have to upgrade firefox.
Thus, I have launched :
- pkg upgrade
- freebsd-update fetch
- freebsd-update install

=C2=A0 =C2=A0 =C2=A0 =C2=A0 My boot/loader.conf contains:

pythagore:[/boot] > cat loader.conf
coretemp_load=3D"YES"
hw.re.max_rx_mbuf_sz=3D"2048"
#if_re_load=3D"YES"
#if_re_name=3D"/boot/modules/if_re.ko"
cpuctl_load=3D"YES"
cuse_load=3D"YES"
tmpfs_load=3D"YES"
pythagore:[/boot] >

=C2=A0 =C2=A0 =C2=A0 =C2=A0 If I use kernel re driver, system randomly hang= s (re0 stops after some
days) but it boots. Now, if I uncomment if_re_load and if_re_name,
kernel loads if_re module, starts its initialization and hangs just
after "starting syslog". System cannot be pinged from another sta= tion
(host is down).

=C2=A0 =C2=A0 =C2=A0 =C2=A0 Does someone use realtek-re-kmod with a recent = kernel in this
configuration ?

What was the last working v= ersion? At least you can try git bisect to figure out the first bad commit= =C2=A0

=C2=A0 =C2=A0 =C2=A0 =C2=A0 Best regards,

=C2=A0 =C2=A0 =C2=A0 =C2=A0 JB



--
Regards / Mit besten Gr=C3=BC=C3=9Fen,
Denis=

--000000000000084ec30610b8b170-- From nobody Fri Feb 9 09:38:34 2024 X-Original-To: freebsd-hackers@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 4TWTLg3Klwz59NCP for ; Fri, 9 Feb 2024 09:38:35 +0000 (UTC) (envelope-from ale@FreeBSD.org) Received: from smtp.freebsd.org (smtp.freebsd.org [96.47.72.83]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "smtp.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TWTLg2pjVz4mpl; Fri, 9 Feb 2024 09:38:35 +0000 (UTC) (envelope-from ale@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707471515; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=nRwgZEO/dtdMiwS5mB4mFBIW0+6jeUgrankjoS2yAK8=; b=Bmt9DRbS3QSSMwxbZrOw2UijetxWDDrqYBIHJnZRWVJiC+LrIZXcoQa2TQyUCfFE6aBkIV 9b5FGuC66AP3ZjrQgfruBNkwy5eLca9vux1WKvmvg2pKfYBQum+c226Os9EfLo9/6N3Svb uI2mR7usdXn0d6zkCsqAL4AI04KStfSEoKw3QOrfi9v6StAeQMuOmmBdPE6jk3S7Hz6E/p ChaV8DvLoRbFxh6iGJtMFjiiaPjRCsOd3m3tEW5vVMas7BBeKhadhRHdAlJuwU3oGgvUjs zkWEHd5OSExQsNGgRNH/E41Cx1UqHYYbtN4ht8/mtsI5tPsVCODK4OFn2YtDPw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1707471515; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=nRwgZEO/dtdMiwS5mB4mFBIW0+6jeUgrankjoS2yAK8=; b=KMi0yfRSD/rkFCM40nbXlyjdpATMM9iQMF6vUipwrFifHJbryj0FHzlm7SeQSHJjrtaOqA VJ1//qBB4Iq4TLVGep9S+IZrrGjKeH1snq74O6zscYlV0kEh5JWV52gCqbIRv/qdpvf/LR Kx/vq3pOCV5W+VdC8Q7fGud+tNn3SzDfbFir/LPGqzgcO/Xr2XWElpfUh5/vA2f3g1KSJZ PR0AGFF1BwNHnK8Sj+tYY7EEhCrBGugXGLsZ40B3HOezNSSfNhsfXpGAOObzdE4JkKCECg b2gyzhEiaw9VJ2AhIQNcyxFp02JoMaXi+6cbjKcZnwNmvFRrrZnFuvOl3J7LbQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707471515; a=rsa-sha256; cv=none; b=ujYruKPXI+oGJ936Z4JPFyDnjyfWKNJJF2jisADmHwC7qxtz19pjBwwpPa9aijh7ZkrIsg TE7E6XCvFAIx9bbImm7s/sAgkCnyuwdO0v6aDDWdB5rn+p2Ae3g4uvr83d3R/3T2JlPvug 2Rq9AWWvSyXv6H7Y+z3d0BrxADkL8BTtZpLtpt20rbQYvzCrVbAZzgqa7coqLjZPoTseGq qsXsG1g03K1C3nASQ5bboaeDzX7Izrrw2Z9vKhFfYvHClMgpHfpWqu2dCBDWqWx4WjUgNx sNlUpv0HO1AbVBO4xbuKI/kAQPkDwKrabUEhPgdrF7mG636lGWxTDxmbywvpXw== Received: from [192.168.178.106] (lab.alexdupre.com [93.151.207.39]) (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) (Authenticated sender: ale) by smtp.freebsd.org (Postfix) with ESMTPSA id 4TWTLf6tfWz16q6; Fri, 9 Feb 2024 09:38:34 +0000 (UTC) (envelope-from ale@FreeBSD.org) Message-ID: <85f2ec9d-8857-469d-8e0a-e844a434de4c@FreeBSD.org> Date: Fri, 9 Feb 2024 10:38:34 +0100 List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [FreeBSD 14.0-RELEASE-p3] Regression with realtek-re-kmod Content-Language: en-US, it To: =?UTF-8?Q?BERTRAND_Jo=C3=ABl?= , freebsd-hackers@freebsd.org References: From: Alex Dupre In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 06/02/2024 16:53, BERTRAND Joël wrote: > Does someone use realtek-re-kmod with a recent kernel in this > configuration ? I do, and it works. Unfortunately your mileage may vary, there are people with re cards that don't work with 1.98 version and others with cards that don't work with 1.99 version. There are substantial differences between the two versions, nobody found the reason of the issue and a solution, yet. -- Alex Dupre From nobody Sun Feb 11 13:44:14 2024 X-Original-To: freebsd-hackers@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 4TXpjy74cCz59lmG; Sun, 11 Feb 2024 13:44:54 +0000 (UTC) (envelope-from marietto2008@gmail.com) Received: from mail-ed1-x535.google.com (mail-ed1-x535.google.com [IPv6:2a00:1450:4864:20::535]) (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 4TXpjy1xQ4z4NGW; Sun, 11 Feb 2024 13:44:54 +0000 (UTC) (envelope-from marietto2008@gmail.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20230601 header.b=LysA+huN; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of marietto2008@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) smtp.mailfrom=marietto2008@gmail.com Received: by mail-ed1-x535.google.com with SMTP id 4fb4d7f45d1cf-557dcb0f870so3103885a12.2; Sun, 11 Feb 2024 05:44:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707659092; x=1708263892; darn=freebsd.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=aoU8HxDHuFe4dNNwrvlsbmgdEM7Auq2rSysvOPm7j30=; b=LysA+huNAVRtfFE6ibu+wS8bDeKbnz+IGEjmfpVjFoqSk6TXjYl7gM2atJaqY1doB+ VVaI5jONy9rftL+Xxu1Ym5iv7n+MqbsdPdQbds0Ep243U2mbW1jGbcBLEBWSmyRxhw1T GvNcsuaaiKaGaC2je5eDXia4Hk4k9EQtEdmidyJS4TqQ2Z3A9u+JfZHQS3F+BmDsdhtV WFNGpIQys7VdtSNhGKX8C2FT3eNegU6bLfDVdSLjiPljQQHAJelqN2FB+ACZ+Uzx6oDP sS6A0jg9x+ij/UZcv3G3+oFa+5uOXhmq0ttW1T7Hzj4ue0SuMbFY9RcFLo3Q4u7eUsIY IxpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707659092; x=1708263892; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=aoU8HxDHuFe4dNNwrvlsbmgdEM7Auq2rSysvOPm7j30=; b=HdqZyWmg2FJHB3rhxffmPEy4bHWv4qKihFirnMwTFFbA6hwxvIHqFjPmpl2V2emaQ0 efhynfb1yl2qgm87KI17m28RThzLVgkiOX9ppSD9E+KnnIkVNtOGtlIfmJ8GVizTXeEG za3ocRyDi1oUgOgxT7SyEqlUq1tkdnBHFPiL2JA0e1lO2teVNMENPFxTdwqi7dZZpZDc 5Wisu0xDRwRpTvkXp+sJwhlFOIqI2EPAIZxwfEpAJiBHM7/qKmSn+wdHmxBCbnUOb8KZ g1zBJgqcyhkESF44stoZ938Tt7xa0hF5b0F3XQTndPVTa/yA9gc4FshB7cYr0zqWcV9k UMFQ== X-Gm-Message-State: AOJu0Yw0OTHruzrjnHTQF3qzYxGMZgP3dxV8I+PQQK8e92CD6kjo3Qve esBOS1Qo6HNflq7nDFyRZMNpy8q6eQTlER4w3J8DI1SzrJFJ6rS+b87qHS9FI7J7THXgHo6+aRH pFImJLOHDUJy/2yR8FkTWQDgWfsYLT/comVmZow== X-Google-Smtp-Source: AGHT+IF2hw4DW1h/1mvQo4aa/dtoQ2kYp64dP0qMk99U/7QFZ1nCBZK5g3IT4CIy/0khC+93nwBSjdpzl2N2fcTlPp8= X-Received: by 2002:a17:906:a298:b0:a38:891b:4a69 with SMTP id i24-20020a170906a29800b00a38891b4a69mr2720875ejz.51.1707659091282; Sun, 11 Feb 2024 05:44:51 -0800 (PST) List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 From: Mario Marietto Date: Sun, 11 Feb 2024 14:44:14 +0100 Message-ID: Subject: How to use the L4 Microkernel with a FreeBSD userland. To: freebsd-arm , FreeBSD Mailing List , freebsd-hackers , FreeBSD Current , Warner Losh Content-Type: multipart/alternative; boundary="000000000000888e3c06111b5da2" 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.997]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20230601]; R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; MISSING_XM_UA(0.00)[]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; ARC_NA(0.00)[]; FREEMAIL_FROM(0.00)[gmail.com]; RCVD_COUNT_ONE(0.00)[1]; FREEMAIL_ENVFROM(0.00)[gmail.com]; DWL_DNSWL_NONE(0.00)[gmail.com:dkim]; MIME_TRACE(0.00)[0:+,1:+,2:~]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::535:from]; MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org,freebsd-questions@freebsd.org,freebsd-hackers@freebsd.org,freebsd-current@freebsd.org]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_FIVE(0.00)[5]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_TLS_LAST(0.00)[]; TO_DN_ALL(0.00)[]; MID_RHS_MATCH_FROMTLD(0.00)[]; DKIM_TRACE(0.00)[gmail.com:+] X-Rspamd-Queue-Id: 4TXpjy1xQ4z4NGW --000000000000888e3c06111b5da2 Content-Type: text/plain; charset="UTF-8" Hello to everyone. 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 : 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). 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: - Debian 11 or later - 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,according 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. 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. -- Mario. --000000000000888e3c06111b5da2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello to everyone.

I'm t= rying 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 k= now 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 :




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 provide= d 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.<= /p>

We are confident that the snapshot works on the following distributions:=

  • Debian 11 or later
  • Ubuntu 22.04 or later

=
Let's say I want to use the L4 microkernel + FreeBSD 14 on m= y Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordi= ng with this instructions :




This is the log file of the compil= ation,that hasn't given any=C2=A0 error :

=


=
Or I could have taken a pre built image of the L4 microkernel here : <= br>





At this point the tutorial says that I shou= ld use a Linux distro. They suggest the official distro for the Raspberry P= i 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 Free= BSD ? Or should I link it to the kernel of FreeBSD ? Can someone explain to= me the missing step ? thanks.

--
Mario.
--000000000000888e3c06111b5da2-- From nobody Sun Feb 11 18:58:56 2024 X-Original-To: freebsd-hackers@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 4TXxhZ4pk2z5BDZJ for ; Sun, 11 Feb 2024 18:59:10 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic314-20.consmr.mail.gq1.yahoo.com (sonic314-20.consmr.mail.gq1.yahoo.com [98.137.69.83]) (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 4TXxhZ25VQz3xXW for ; Sun, 11 Feb 2024 18:59:10 +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=1707677948; bh=ERUKiBtI58RHPtSZ7ux75H78mj/VV1AqRsTe4xBOD6A=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=j8LrXfTJSEoLgzw+ITdrp+aFi6KazmrFuU+QRwpRqHvEL6SWmkTF9ML1efdUtJRNZ1nWmMi5A7mLAbdGZcl9dFqnzNyixrPGesRhjSP/rp8A0kz+KufS49z0LZsyZ843apEySuEL34Q+HORNMUJuA+IJid7Sq9BpJiGxPPH+2vJ5ssKPKdVidNvVQng5nBHa3W7pyvpgAFH8RguvRIidQOjwvlDDFelr9uCUotCEvjIA198swyv1wfRXkJIhi7InX3UFN68wv+W59z+BOf1dmts9zjwyl2VVLi9rT3bjIvGVG1gNXfMrXDP8I7EeYysJQVh4OtIjWUvKEXCK8BY7Fg== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707677948; bh=gSnvhV60gsEG16E4vJ0j1b2aSlf9tzPXrh4zOtVkLXU=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=Uc4gfoPA537O1FDjvzHdl9Kw0Ashlcc0SBni6w7caxgF4txH4eG6xDGgA0ka/T3QJ32dW0bXO/YRG7lprpg19JYEE+D7shsj1UrWBGZg/aDgTS5enoUH638GyTCDGE2RP1DtCOHTB67ustwUU0MJpdW/uH9ndmZu27KkJJMHp5nU18l0hUPbZZz/VyJnKrFaHTPLpigIha4A3VtpNM68uaHu6oHETzPghzmJgUnbySXlF0Kxh2GOJHNG7Hyj0W65cLpiDP21ChFC/MjZCHA7bpUuV1JUHxm548aM5hzhjh1UzbNE13oZmDFJDcdzRIbQQn4AmFBC+XGRFOLm+CYt3g== X-YMail-OSG: mgpH_VMVM1la9QtxEeidTDOsi.l8EltLTl2Nm4Wxl2QbWUO.vpxUVKelCubS_n5 OWbQ.m3nHh3Ax9I0lExekL8mjQ78bnvUykhFqdRS7ApKyeTk9Vn.3TuYAenZ7Fh_b7k8uLiJerxp aIvx0wTcxfPGxV2.KYKAAtwliNOhFRMlTm6XdBkyS4gj_yg_xfw.UifBjVkdRPq76Lgz8dE3h91H 9jcXlV8889Ifb9mJBmdKBqM5U4bR4z2LW0BO88Ap9sjrBHDNyVSGSdQ47..X_lYgHgNcPrDAY38x wenP4zP1K.pyafOWU6.04c7vgEDJ0HXZ8P_UUC0hhMhIS9hR6AOFOe9t7rmEfMqHSVJ23JJhG0yG Y7Il2oGdPFtL9i03THi8cSJDoSiGWELRgLx0Tfo0pzjYqXcBD3hY2AmwkIts6wWh5RdmOr.6yF0z wtOy79XnvtTUY8mpbDLVJYKftDo7dHVlmmeO_APpWzoTA1nAT4QUsQsihomK9Ihfv.ZE_p3lC1c3 k9jU.BjEQCntwoN3PBQGRc85aMyhTtdBSUQfokf1.vyVFXVy4DTzIh3FiNIS3y0pi04SUnYKgYsl _1h.lWgude2.QSi5RIY27HVCqPwMg5nEWI9G9dxwau0YP6qMh1PJykw7LWAiYUQJWCf0hoxJgno8 D45qx2NGG3xJvBlgQGW8INSISDsRxCrGe6u44hFgtakTJ_4R24nfHzuGfzvlJB2BViV02H_HKcyC 2o0gaTxAinfiCdIshbXj1lYQ0kcbx3mGUpSbB1FnBpmeVw50UD2oc2tC.o1JER9Sq_M_g6iE634n xKga1Cub6zqftDxYaJka4CMt6bmuiZJTYLyHW8jY6IK6vf46zWUN.rR9MCC9KZfHCzxqCcaqyGbK Fg5G4AyBVUwbn1tBBOCIA589lYwOaS3LmcHxDDNXmOH9vOFbSoNhttGZCeDM.Ge49mTY0h68sBeN f7LdRucfe_jLLv5oCIZ70y1ereSgztDiLghHi1ib1UViHDID2smTVhGlU.EmkalQopktMb1eMVyX OVtPOkOAbN.J8IdaQxmMdSyPa0geQe5pBMNN2meKh1vNuB2GVSfxwvGR0U7l3w.rco2a16qtrYkF 4Iji1eoGaypt5ISc7f4Xe3iEAtOWL5Kj_rV7bBr21QEyK8PxQIctpjfd0yVFvZjesdgrYmM6h1Ra oPUJ7rKXt5yAkQhZjAX9S0REJyX8.fr6ZMuhsiNL67jUACGgWTz.0jnqUevYy7WoimBLjh3lPgwk 7lhXncaQaXtxxC_y4K7N4mbj372ElJvAuGiqdAf02g9oXjR3iiZzw7GBvqDwLoL_xuoohDUr4mhS 6NxMI7kmuOixiNI_ijb0.dxW7MZhTKHr25rYfT_opAxo_o_2fWEGwd3gLF6F2Rhh3L8A5ebFXb82 AgZG0sxFfgzZkqLcC8RMqo8BIRkXzTK5yivm83BRsDQWbDxsBSrIsqlBzjzNfV_uJMhfjhn4ubTd jz6IOr.idQkdONTYlC1cmAebm4V98nXCs0BMoqWtGno3aIDUsnaAlT7kxbJaDEUleen1VXbRWH7N eCDWf39sR6Ewei9mJ0EbuFrbhOTWDYsZwBMijcN.p7q148MtjvID9AtHMBFi1LxREGSeZQAiz6.n yBCz4e.1ZZvvTasucs4azfeQAz.K6L122Ap0qWNUBuph_MhezFaJ_ZZzqERgIwJtVQi_CYfjJTHC 2F1iXrZcy9rr3KU6rB95w0hYkke4kshJr5HlpU6c.6oeILoqBIaggNT7aX4eFQR44e0WnGCdUMp7 5DKIlaqBZQqZbEjZC.ygJi94HtwjC6uI6LZjIJjFRuUVDcVJoUYAHq1LRZj88nHQg2AfonQPbbGo vDsmIRO2BmbNVufsbty8bVhZoSNqjKgJVo4NRueTtpJjzddHdd4dghN_cZBaF50Pdl_.uHIg71U6 qUtACKf261CW_BtwvOTvy0TavVZH3hnuzBH_nMtCLmD7eZNpHON.ZkxHtWhlvm2mlC6PRe4sGgFC 9UAr9Ln.Nn7.281nZI38Jr_RkvMMQ2EVlfXP6mAxqxOERRMi1CwIhPZ5pIE3bKGSxDZ51ZbYA8Ni DMMHT8bCRiwqLtW.lJ.Xt.TPGGY7jrmmStznqmGBWTqbRmXUnLHutPHD_oH5njBpjWo69pVQ.l5a nKmmY3OMQBplvosGIHCjzqApjnn2KpXEodQtcTZwShJYheeNsByqM_mstHMKWdRpkI9yvBDFVz2V zEc2sU5WWidQoRl.Yibn8JUBrZ3GJUR0R8eZYv30Lu0N5wARX_UihrjzTA1Ajz5CMmZW8QXdiTfg - X-Sonic-MF: X-Sonic-ID: 06ec5f7b-a3df-41a2-89a7-e52fc4b44799 Received: from sonic.gate.mail.ne1.yahoo.com by sonic314.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 18:59:08 +0000 Received: by hermes--production-gq1-5c57879fdf-6xjwd (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID c29727df83a37efa3b609b333e58f94e; Sun, 11 Feb 2024 18:59:07 +0000 (UTC) Content-Type: text/plain; charset=utf-8 List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@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 10:58:56 -0800 Cc: freebsd-arm , FreeBSD Mailing List , freebsd-hackers , FreeBSD Current , Warner Losh Content-Transfer-Encoding: quoted-printable Message-Id: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> References: 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: 4TXxhZ25VQz3xXW X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated 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 = 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. 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 FreeBSD code. =3D=3D=3D Mark Millard marklmi at yahoo.com From nobody Sun Feb 11 19:43:59 2024 X-Original-To: freebsd-hackers@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 4TXyj363TMz5BJHW; Sun, 11 Feb 2024 19:44:39 +0000 (UTC) (envelope-from marietto2008@gmail.com) Received: from mail-ej1-x636.google.com (mail-ej1-x636.google.com [IPv6:2a00:1450:4864:20::636]) (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 4TXyj34JSmz45Hw; Sun, 11 Feb 2024 19:44:39 +0000 (UTC) (envelope-from marietto2008@gmail.com) Authentication-Results: mx1.freebsd.org; none Received: by mail-ej1-x636.google.com with SMTP id a640c23a62f3a-a3ca40db065so14449066b.2; Sun, 11 Feb 2024 11:44:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707680676; x=1708285476; 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=c7i/Wmbp8GH6io4XHdLDqNSfDIn68zOaOkCMVjkau88=; b=ilMLWumyDXtGuYxdayBI9W0pq4p6PTIrLZpMxgCsUPbzBXWOQXLv5VWjbgtk9NQH6z P3tshmnBOXcWELKgaINxB/gx8u90tMrtn/QsoQY79nFfIJQ9BK5AsiwokYrvL2j7xwaZ dSaQqRj1cwz5lDhJm5EWe8UZAkd3FraSa4CttKo5jxomWbN1i1aJO2X9dG/mrSGhucXG zKqAZbXu6GGv6D8A7+HhEWDhGKyVxyBemHhSPtquKM2VEZVhALPx63ciOTTgbtNndN1C 335WIxwP2mZ7HXs0ynyA4pcCJhNsIxSMeXL98Eks5ng17xWEv1jzAzVJTGvWsz47JXFS 0vzw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707680676; x=1708285476; 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=c7i/Wmbp8GH6io4XHdLDqNSfDIn68zOaOkCMVjkau88=; b=qJlU4AeTKw4Qr4K8QCihlSOX+t8I3Bxi1J15i/eJk2WLW2qAeziLW2F/dQA7i7LvaL /iZ2sybDhkdTmIpxAm5QaPFLVnH7WGDI6Yy6baQ6DCTB99mh2jLsfZF9I1v6s77DqU68 ISc0f6Lu45ovlvxbBPUnQ9Ep7cGNuLorZ4nJ+agL8Z2oCE1wi8DQc2b73wz+ZKwZotPG 0k4XcVchYcyY1vtr3CuUK7vaiT3ScGy5dFYtD4ttoGrO+4jcRJWIV9NblruLtkZEHSQS YSHAK2gsWJf0DOBosOQUdx2DwcietDlXZnatQHMDANKOqwVPXHaeJSw2eXwJFCFEEJnT XfWg== X-Gm-Message-State: AOJu0YyXcZ+DPbjohIu5ZzdTt0SCBeA2uBy3HFLHuRhm8zFiLoHvKNWp zOqCqVjC8zS1g1kEoKXXwZMsgN+CmPtKEfb+lfJpOUD9r5vV3JsQjK8cMN1sjvFvDx3PVnP8sJK nOPTYiLkVG419UhQ16nGXgsxNl1Y= X-Google-Smtp-Source: AGHT+IEuN10vP66h8m0ASuv9tnzGtgSlnqltSiT+E5CNHRZhegI59udvYLrSs0oXTRchIYAJeTizp1RZRRVXdUWrKfw= X-Received: by 2002:a17:906:f190:b0:a38:3907:8ee0 with SMTP id gs16-20020a170906f19000b00a3839078ee0mr3123643ejb.51.1707680676290; Sun, 11 Feb 2024 11:44:36 -0800 (PST) List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 References: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> In-Reply-To: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> From: Mario Marietto Date: Sun, 11 Feb 2024 20:43:59 +0100 Message-ID: Subject: Re: How to use the L4 Microkernel with a FreeBSD userland. To: Mark Millard Cc: freebsd-arm , FreeBSD Mailing List , freebsd-hackers , FreeBSD Current , Warner Losh Content-Type: multipart/alternative; boundary="00000000000019a36f0611206470" 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: 4TXyj34JSmz45Hw X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated --00000000000019a36f0611206470 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ok. But what does this mean ? That I can use whatever Linux distro I want ? Or even the FreeBSD world ? On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard wr= ote: > > > 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 an= y > 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 > > > > 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 th= is > 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. 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 ? 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. --00000000000019a36f0611206470 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
ok. But what does this mean ? That I can use whatever Linu= x distro I want ? Or even the FreeBSD world ?

On Sun, Feb 11, 2024 at 7= :59=E2=80=AFPM Mark Millard <marklm= i@yahoo.com> wrote:


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 Free= BSD 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 o= f all I'm sure that it can be done,because it is written clearly on the= ir 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 dist= ribution installed and at least 2GB of free disk space.
> All necessary tools required by the build are available from the provi= ded packages of the Linux distributions, including cross compilers. But the= re 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 co= mmon tools are installed.
> You are free to use any Linux distribution you like, or even BSDs or a= ny of its derivatives. But then you should know the game. Especially tool v= ersions should be recent, as installed on the listed distributions below. > We are confident that the snapshot works on the following distribution= s:
>=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 Rasp= berry Pi 4,the first step I did was to build L4Re for the Rpi,according wit= h 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 here : <= br> >
>
> 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. They= suggest the official distro for the Raspberry Pi 4,that's RaspBian. Bu= t I don't want to use Linux as a userland,I want to use FreeBSD. The qu= estion 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 t= o 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 microker= nel (Fiasco) and the L4Re user-level software, and connects both together s= o 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" se= ction is about combining the parts (including the microkernel and the user-= level software) to make the overall image that does not include Linux or Fr= eeBSD code.


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



--
Mario.
--00000000000019a36f0611206470-- From nobody Sun Feb 11 20:00:48 2024 X-Original-To: freebsd-hackers@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 4TXz413lrwz5BKL1 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 4TXz4119Jkz4Cmg 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: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@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: 4TXz4119Jkz4Cmg 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 From nobody Sun Feb 11 20:19:37 2024 X-Original-To: freebsd-hackers@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 4TXzTl3nKwz5BLpt 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 4TXzTk2pT0z4GQ9 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: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@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-hackers@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: 4TXzTk2pT0z4GQ9 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 From nobody Sun Feb 11 21:20:31 2024 X-Original-To: freebsd-hackers@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: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@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--