From nobody Sun Feb 11 13:44:14 2024 X-Original-To: freebsd-questions@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: User questions List-Archive: https://lists.freebsd.org/archives/freebsd-questions List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-questions@freebsd.org X-BeenThere: freebsd-questions@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--