Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 29 Apr 2026 01:43:45 +0200
From:      Mario Marietto <marietto2008@gmail.com>
To:        John F Carr <jfc@mit.edu>
Cc:        Mark Millard <marklmi@yahoo.com>, Ronald Klop <ronald-lists@klop.ws>,  "arm@freebsd.org" <arm@freebsd.org>, Lexi Winter <lexi@le-fay.org>
Subject:   Re: vmm (bhyve) on GICv2
Message-ID:  <CA%2B1FSiirtKvO7pJJL1h-4KhMDUo16Q6qdz1LxTNg8PtdOmvVCA@mail.gmail.com>
In-Reply-To: <CA%2B1FSihnu3f2mcRo64QxecPeRpyymTsdQbiR_xuZDcWKNkBLTQ@mail.gmail.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> <1923834610.13708.1716392599662@localhost> <6117F301-D584-40F7-9022-F90103FF5468@yahoo.com> <CA%2B1FSijd2abM9a5B98CAMRApUJt7UhTgrQrj%2BZvVHwJv2rT7tQ@mail.gmail.com> <71FB8C8C-DA84-469B-8742-1C3DD5F3E773@mit.edu> <CA%2B1FSigB--OjuNJikmOfJDNmeo1=L0qNyBWxM8%2B9Yi6-m1gFXw@mail.gmail.com> <CA%2B1FSihnu3f2mcRo64QxecPeRpyymTsdQbiR_xuZDcWKNkBLTQ@mail.gmail.com>

index | next in thread | previous in thread | raw e-mail

[-- Attachment #1 --]
Hello to everyone.

I would like to try bhyve for arm64 bit on my radxa zero 3W. Does anyone
know if this board supports GICv3 ?

On Wed, May 22, 2024 at 10:29 PM Mario Marietto <marietto2008@gmail.com>
wrote:

> Is there another cheap alternative to the RockPro64 / Quartz64 that works
> well on FreeBSD if one wants to test bhyve ?
>
> On Wed, May 22, 2024 at 9:39 PM Mario Marietto <marietto2008@gmail.com>
> wrote:
>
>> This ?
>>
>> https://pine64.com/product/quartz64-model-a-8gb-single-board-computer/
>>
>> On Wed, May 22, 2024 at 9:20 PM John F Carr <jfc@mit.edu> wrote:
>>
>>> > On May 22, 2024, at 13:20, Mario Marietto <marietto2008@gmail.com>
>>> wrote:
>>> >
>>> > Can someone confirm that bhyve works ok on the RockPro64 (RK3399) ?
>>> Has bhyve been patched in relation to this bug :
>>> >
>>> > https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277559
>>> >
>>> > ?
>>> >
>>> > I read that there is a huge amount of work to do on the RPI5 before it
>>> works with FreeBSD. And anyway,it does not support bhyve. So if I will buy
>>> a soc,it will be the RockPro64....
>>>
>>> The RockPro64 should be usable for development, not production use
>>> of virtual machines.  The kernel sometimes locks up the first time the
>>> vmm module is loaded.  Once the module loads it can be unloaded
>>> and reloaded without risk.
>>>
>>> I was able to boot FreeBSD-13.3-RELEASE-arm64-aarch64.raw in bhyve
>>> on my RockPro64 with this script:
>>>
>>> NCPU=1
>>> MEM=384m
>>> DISK0=/dev/nda0s4
>>> VMNAME=thirteen
>>> bhyve -c "${NCPU:?}" -m "${MEM:?}" \
>>> -s 0:0,hostbridge \
>>> -s 1:0,virtio-blk,"${DISK0:?}" \
>>> -o bootrom=/usr/local/share/u-boot/u-boot-bhyve-arm64/u-boot.bin \
>>> -o rtc.use_localtime=false \
>>> -o console=stdio \
>>> -o config.dump=false \
>>> -o acpi_tables=true \
>>> "${VMNAME:?}"
>>>
>>> I had copied the image to /dev/nda0s4.  It should work just as well with
>>> the
>>> regular file after "virtio-blk".
>>>
>>> Some observations:
>>>
>>> 1. There is no clock visible to the guest OS:
>>>
>>> Warning: no time-of-day clock registered, system time will not be set
>>> accurately
>>>
>>> 2. The RockPro system has two types of cores.  One has a physically
>>> indexed I-cache,
>>> the other virtually indexed.  The virtual CPU reports a virtually
>>> indexed cache.
>>>
>>> CPU  0: ARM Foundation-Model r0p0 affinity:  0
>>>                    Cache Type = <64 byte D-cacheline,64 byte
>>> I-cacheline,VIPT ICache,64 byte ERG,64 byte CWG>
>>>
>>> I think this will cause correct behavior despite being technically wrong.
>>>
>>> I have a Quartz64, a newer Pine64 SBC, but I have not yet tried to
>>> install BSD on it.
>>>
>>> John Carr
>>>
>>>
>>
>> --
>> Mario.
>>
>
>
> --
> Mario.
>


-- 
Mario.

[-- Attachment #2 --]
<div dir="ltr"><div>Hello to everyone.</div><div><br></div><div>I would like to try bhyve for arm64 bit on my radxa zero 3W. Does anyone know if this board supports GICv3 ?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 22, 2024 at 10:29 PM Mario Marietto &lt;<a href="mailto:marietto2008@gmail.com" target="_blank">marietto2008@gmail.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Is there another cheap alternative to the RockPro64 / Quartz64 that works well on FreeBSD if one wants to test bhyve ? <br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 22, 2024 at 9:39 PM Mario Marietto &lt;<a href="mailto:marietto2008@gmail.com" target="_blank">marietto2008@gmail.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>This ? </div><div><br></div><div><a href="https://pine64.com/product/quartz64-model-a-8gb-single-board-computer/" target="_blank">https://pine64.com/product/quartz64-model-a-8gb-single-board-computer/</a></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 22, 2024 at 9:20 PM John F Carr &lt;<a href="mailto:jfc@mit.edu" target="_blank">jfc@mit.edu</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">&gt; On May 22, 2024, at 13:20, Mario Marietto &lt;<a href="mailto:marietto2008@gmail.com" target="_blank">marietto2008@gmail.com</a>&gt; wrote:<br>
&gt; <br>
&gt; Can someone confirm that bhyve works ok on the RockPro64 (RK3399) ? Has bhyve been patched in relation to this bug :<br>
&gt; <br>
&gt; <a href="https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277559" rel="noreferrer" target="_blank">https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277559</a><br>;
&gt; <br>
&gt; ?<br>
&gt; <br>
&gt; I read that there is a huge amount of work to do on the RPI5 before it works with FreeBSD. And anyway,it does not support bhyve. So if I will buy a soc,it will be the RockPro64....<br>
<br>
The RockPro64 should be usable for development, not production use<br>
of virtual machines.  The kernel sometimes locks up the first time the<br>
vmm module is loaded.  Once the module loads it can be unloaded<br>
and reloaded without risk.<br>
<br>
I was able to boot FreeBSD-13.3-RELEASE-arm64-aarch64.raw in bhyve<br>
on my RockPro64 with this script:<br>
<br>
NCPU=1<br>
MEM=384m<br>
DISK0=/dev/nda0s4<br>
VMNAME=thirteen<br>
bhyve -c &quot;${NCPU:?}&quot; -m &quot;${MEM:?}&quot; \<br>
-s 0:0,hostbridge \<br>
-s 1:0,virtio-blk,&quot;${DISK0:?}&quot; \<br>
-o bootrom=/usr/local/share/u-boot/u-boot-bhyve-arm64/u-boot.bin \<br>
-o rtc.use_localtime=false \<br>
-o console=stdio \<br>
-o config.dump=false \<br>
-o acpi_tables=true \<br>
&quot;${VMNAME:?}&quot;<br>
<br>
I had copied the image to /dev/nda0s4.  It should work just as well with the<br>
regular file after &quot;virtio-blk&quot;.<br>
<br>
Some observations:<br>
<br>
1. There is no clock visible to the guest OS:<br>
<br>
Warning: no time-of-day clock registered, system time will not be set accurately<br>
<br>
2. The RockPro system has two types of cores.  One has a physically indexed I-cache,<br>
the other virtually indexed.  The virtual CPU reports a virtually indexed cache.<br>
<br>
CPU  0: ARM Foundation-Model r0p0 affinity:  0<br>
                   Cache Type = &lt;64 byte D-cacheline,64 byte I-cacheline,VIPT ICache,64 byte ERG,64 byte CWG&gt;<br>
<br>
I think this will cause correct behavior despite being technically wrong.<br>
<br>
I have a Quartz64, a newer Pine64 SBC, but I have not yet tried to install BSD on it.<br>
<br>
John Carr<br>
<br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>
</blockquote></div><div><br clear="all"></div><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Mario.<br></div>
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CA%2B1FSiirtKvO7pJJL1h-4KhMDUo16Q6qdz1LxTNg8PtdOmvVCA>