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