Re: Raspberry PI - Mizar

--000000000000bd4fb805f61964a5
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hello,

This is wonderful! Thank you for this, I was able to get it to work on a
Raspberry Pi 4B, and I couldn't be happier to get Mizar working on it.

Best,
Alex

On Fri, Mar 3, 2023 at 12:05=E2=80=AFPM Roland Coghetto roland_coghetto _AT=
_
hotmail.com <[email protected]> wrote:

> Dear Mizar Users,
>
> It is possible to run Mizar on a Raspberry PI 2 model b rev 1.1 (1 GB
> RAM) + Raspberry Pi OS:
>
> https://github.com/CoghettoR/MizarSystem/
> (compile_rpi.sh + LISEZMOI)
>
> a fork of the public repository of
> https://github.com/MizarProject/system
>
> Bests regards,
>
> Roland Coghetto
>
>

--000000000000bd4fb805f61964a5
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<br><br>This is wonderful! Thank you for this, I was=
 able to get it to work on a Raspberry Pi 4B, and I couldn&#39;t be happier=
 to get Mizar working on it.<br><br>Best,<br>Alex</div><br><div class=3D"gm=
ail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Mar 3, 2023 at 12:=
05=E2=80=AFPM Roland Coghetto  roland_coghetto _AT_ <a href=3D"http://hotma=
il.com">hotmail.com</a> &lt;<a href=3D"mailto:[email protected]=
du.pl">[email protected]</a>&gt; wrote:<br></div><blockquo=
te class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px =
solid rgb(204,204,204);padding-left:1ex">Dear Mizar Users,<br>
<br>
It is possible to run Mizar on a Raspberry PI 2 model b rev 1.1 (1 GB<br>
RAM) + Raspberry Pi OS: <br>
<br>
<a href=3D"https://github.com/CoghettoR/MizarSystem/" rel=3D"noreferrer" ta=
rget=3D"_blank">https://github.com/CoghettoR/MizarSystem/</a> <br>
(compile_rpi.sh + LISEZMOI)<br>
<br>
a fork of the public repository of<br>
<a href=3D"https://github.com/MizarProject/system" rel=3D"noreferrer" targe=
t=3D"_blank">https://github.com/MizarProject/system</a><br>
<br>
Bests regards,<br>
<br>
Roland Coghetto<br>
<br>
</blockquote></div>

--000000000000bd4fb805f61964a5--