Date: Wed, 22 May 2024 17:43:19 +0200 (CEST) From: Ronald Klop <ronald-lists@klop.ws> To: Mark Millard <marklmi@yahoo.com> Cc: Mario Marietto <marietto2008@gmail.com>, arm@freebsd.org, Lexi Winter <lexi@le-fay.org> Subject: Re: vmm (bhyve) on GICv2 Message-ID: <1923834610.13708.1716392599662@localhost> In-Reply-To: <18B789E4-5891-4F3E-BAB6-05FD45949438@yahoo.com> References: <Zk2YnPCESoEHC-8D@ilythia.eden.le-fay.org> <CA%2B1FSihooPem=qRFFU7RG21UKUf-uCrW_CPMvH1NxROArXivPA@mail.gmail.com> <Zk2d8lACXhhD9V9p@ilythia.eden.le-fay.org> <18B789E4-5891-4F3E-BAB6-05FD45949438@yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
------=_Part_13707_978624373.1716392599595 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Van: Mark Millard <marklmi@yahoo.com> Datum: woensdag, 22 mei 2024 17:34 Aan: Lexi Winter <lexi@le-fay.org> CC: Mario Marietto <marietto2008@gmail.com>, arm@freebsd.org Onderwerp: Re: vmm (bhyve) on GICv2 > > On May 22, 2024, at 00:25, Lexi Winter <lexi@le-fay.org> wrote: > > > Mario Marietto: > >> On Wed, May 22, 2024 at 9:03AM Lexi Winter <lexi@le-fay.org> wrote: > >>> i was pleased to see ARM64 vmm has been merged to main recently. > >>> > >>> i have several use-cases to run bhyve on RPi4, but unfortunately this > >>> hardware only supports GICv2 while vmm requires GICv3. > >>> > >>> does anyone have an idea if GICv2 is likely to be supported in the > >>> future? > >> > >> Does RPi5 support GICv3 ? I would like to know which kind of relatively > >> cheap arm hardware can run bhyve. > > > > i don't know off hand, but i do know FreeBSD doesn't support RPi5 at > > all right now, so this is not an immediate solution :-) > > I boot and run a RPi5 via EDK2 in the microsd card slot and a USB3 > UFS system media (that has lots of different swap partition sizes > for use on various machines with widely varying amounts of RAM): > > # gpart show -pl > => 40 249737136 mmcsd0 GPT (119G) > 40 2008 - free - (1.0M) > 2048 249733120 mmcsd0p1 RPi5-edk2 (119G) > 249735168 2008 - free - (1.0M) > > => 34 1875384941 da0 GPT (894G) > 34 32734 - free - (16M) > 32768 501760 da0p1 PkgBaseEFI (245M) > 534528 20971520 da0p2 PkgBaseSwp10 (10G) > 21506048 29360128 da0p3 PkgBaseSwp14 (14G) > 50866176 33554432 da0p4 PkgBaseSwp16 (16G) > 84420608 67108864 da0p5 PkgBaseSwp32 (32G) > 151529472 96468992 da0p6 PkgBaseSwp46 (46G) > 247998464 268435456 da0p7 PkgBaseSwp128 (128G) > 516433920 7340032 da0p8 PkgBaseSwp3p5 (3.5G) > 523773952 13631488 da0p10 PkgBaseSwp6p5 (6.5G) > 537405440 1337979528 da0p9 PkgBaseUFS (638G) > 1875384968 7 - free - (3.5K) > > See: https://github.com/worproject/rpi5-uefi > > # uname -apKU > FreeBSD aarch64-main-pkgs 15.0-CURRENT FreeBSD 15.0-CURRENT #5 main-n269589-9dcf39575efb-dirty: Sun Apr 21 01:42:00 PDT 2024 root@aarch64-main-pbase:/usr/obj/BUILDs/main-CA76-nodbg-clang/usr/main-src/arm64.aarch64/sys/GENERIC-NODBG-CA76 arm64 aarch64 1500018 1500018 > > That kernel is at: /boot/kernel.CA76-NODBG/kernel in my context. > > But I also have kernels that I got from: > > https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/ > > that boot it as well: > > # strings /boot/kernel.GENERIC-NODEBUG/kernel | grep 15.0- > @(#)FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC-NODEBUG > FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC-NODEBUG > 15.0-CURRENT > > And the debug version (witness and such): > > # strings /boot/kernel/kernel | grep 15.0- > @(#)FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC > FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC > 15.0-CURRENT > > (It has beem a while since I updated.) > > All these kernels boot a world that I got from the same: > > https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/ > > I do have another world in a directory tree that I built that I > can chroot to. > > === > Mark Millard > marklmi at yahoo.com > > > > > Hi, This looks nice. Are there any FreeBSD patches needed to boot a RPI5? Or only an up-to-date EDK2? And if it works well can we collaborate in documenting the RPI5 on https://wiki.freebsd.org/arm/Raspberry%20Pi? Regards, Ronald. ------=_Part_13707_978624373.1716392599595 Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: 7bit <html><head></head><body><br> <p><strong>Van:</strong> Mark Millard <marklmi@yahoo.com><br> <strong>Datum:</strong> woensdag, 22 mei 2024 17:34<br> <strong>Aan:</strong> Lexi Winter <lexi@le-fay.org><br> <strong>CC:</strong> Mario Marietto <marietto2008@gmail.com>, arm@freebsd.org<br> <strong>Onderwerp:</strong> Re: vmm (bhyve) on GICv2</p> <blockquote style="padding-right: 0px; padding-left: 5px; margin-left: 5px; border-left: #000000 2px solid; margin-right: 0px"> <div class="MessageRFC822Viewer" id="P"> <div class="TextPlainViewer" id="P.P">On May 22, 2024, at 00:25, Lexi Winter <lexi@le-fay.org> wrote:<br> <br> > Mario Marietto:<br> >> On Wed, May 22, 2024 at 9:03AM Lexi Winter <lexi@le-fay.org> wrote:<br> >>> i was pleased to see ARM64 vmm has been merged to main recently.<br> >>><br> >>> i have several use-cases to run bhyve on RPi4, but unfortunately this<br> >>> hardware only supports GICv2 while vmm requires GICv3.<br> >>><br> >>> does anyone have an idea if GICv2 is likely to be supported in the<br> >>> future?<br> >><br> >> Does RPi5 support GICv3 ? I would like to know which kind of relatively<br> >> cheap arm hardware can run bhyve.<br> ><br> > i don't know off hand, but i do know FreeBSD doesn't support RPi5 at<br> > all right now, so this is not an immediate solution :-)<br> <br> I boot and run a RPi5 via EDK2 in the microsd card slot and a USB3<br> UFS system media (that has lots of different swap partition sizes<br> for use on various machines with widely varying amounts of RAM):<br> <br> # gpart show -pl<br> => 40 249737136 mmcsd0 GPT (119G)<br> 40 2008 - free - (1.0M)<br> 2048 249733120 mmcsd0p1 RPi5-edk2 (119G)<br> 249735168 2008 - free - (1.0M)<br> <br> => 34 1875384941 da0 GPT (894G)<br> 34 32734 - free - (16M)<br> 32768 501760 da0p1 PkgBaseEFI (245M)<br> 534528 20971520 da0p2 PkgBaseSwp10 (10G)<br> 21506048 29360128 da0p3 PkgBaseSwp14 (14G)<br> 50866176 33554432 da0p4 PkgBaseSwp16 (16G)<br> 84420608 67108864 da0p5 PkgBaseSwp32 (32G)<br> 151529472 96468992 da0p6 PkgBaseSwp46 (46G)<br> 247998464 268435456 da0p7 PkgBaseSwp128 (128G)<br> 516433920 7340032 da0p8 PkgBaseSwp3p5 (3.5G)<br> 523773952 13631488 da0p10 PkgBaseSwp6p5 (6.5G)<br> 537405440 1337979528 da0p9 PkgBaseUFS (638G)<br> 1875384968 7 - free - (3.5K)<br> <br> See: <a href="https://github.com/worproject/rpi5-uefi">https://github.com/worproject/rpi5-uefi</a><br> <br> # uname -apKU<br> FreeBSD aarch64-main-pkgs 15.0-CURRENT FreeBSD 15.0-CURRENT #5 main-n269589-9dcf39575efb-dirty: Sun Apr 21 01:42:00 PDT 2024 root@aarch64-main-pbase:/usr/obj/BUILDs/main-CA76-nodbg-clang/usr/main-src/arm64.aarch64/sys/GENERIC-NODBG-CA76 arm64 aarch64 1500018 1500018<br> <br> That kernel is at: /boot/kernel.CA76-NODBG/kernel in my context.<br> <br> But I also have kernels that I got from:<br> <br> <a href="https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/">https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/</a><br> <br> that boot it as well:<br> <br> # strings /boot/kernel.GENERIC-NODEBUG/kernel | grep 15.0-<br> @(#)FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC-NODEBUG<br> FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC-NODEBUG<br> 15.0-CURRENT<br> <br> And the debug version (witness and such):<br> <br> # strings /boot/kernel/kernel | grep 15.0-<br> @(#)FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC<br> FreeBSD 15.0-CURRENT main-n269581-dfa39133b333 GENERIC<br> 15.0-CURRENT<br> <br> (It has beem a while since I updated.)<br> <br> All these kernels boot a world that I got from the same:<br> <br> <a href="https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/">https://pkg.freebsd.org/FreeBSD:15:aarch64/base_latest/</a><br> <br> I do have another world in a directory tree that I built that I<br> can chroot to.<br> <br> ===<br> Mark Millard<br> marklmi at yahoo.com<br> <br> </div> <hr></div> </blockquote> <br> <br> Hi,<br> <br> This looks nice. Are there any FreeBSD patches needed to boot a RPI5? Or only an up-to-date EDK2?<br> <br> And if it works well can we collaborate in documenting the RPI5 on <a href="https://wiki.freebsd.org/arm/Raspberry%20Pi">https://wiki.freebsd.org/arm/Raspberry%20Pi</a>?<br> <br> Regards,<br> Ronald.<br> </body></html> ------=_Part_13707_978624373.1716392599595--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1923834610.13708.1716392599662>