Hi Mojca

sorry for being a few days lat= e. I got the hardware just yesterday. It's a lenovo chromebook duet (Ta= blet), that can run linux apps. For the UK (you may select your country) it= 's here:=C2=A0https://www.lenovo.com/gb/e= n/laptops/lenovo/student-chromebooks/Lenovo-CT-X636/p/ZZICZCTCT1X

Very nice little piece=C2=A0of hardware. Small, great b= attery life and not so limited as other tablets (full linux access). Rather= fast too...

As I told in the second=C2=A0email, t= here's a workaround. But it would be nice, if context would work out of= the box. These little tablets are commonly used at schools.

Hope I could help

Many thanks again

Christian

Am Sa., 28. Nov. 2020 um 10:52=C2=A0Uhr schrieb Mojca= Miklavec <mojca.mikla= vec.lists@gmail.com>:

Dear Christian,

On Fri, 27 Nov 2020 at 20:50, Christian Prim wrote:
>
> Is there a reason why the arm binaries for ARM Linux use version 2.29 = of glibc?

They are being compiled on a Raspberry PI which kind of lacks
first-class 64-bit support (or at least that was the case when we set
up a builder on our build farm, about 9 months ago). I don't remember seeing anyone even request those binaries before, and this is the
first complaint I see about the glibc-too-new issue on aarch64 (it was
common on the Intel platform, but there we can easily build on Debian
8 or 9).

I believe the RPI is currently running some recent version of Ubuntu
(it was set up by Hans; I would need to check to be sure, but it could
well be that it's 20.04).

Judging from (random google hits)
=C2=A0 =C2=A0 https://www.raspberrypi.org= /forums/viewtopic.php?t=3D243985
=C2=A0 =C2=A0 https://www.ra= spberrypi.org/blog/latest-raspberry-pi-os-update-may-2020/
it could be that May 2020 (which is precisely 6 months ago, in any
case later than when the builder was set up) has brought some better
news, an OS image that wouldn't require so much hacking to get it set up and running.

It's a pity that you didn't ask this question a few days ago, I
believe that Hans just reinstalled everything on that tiny device (SD
cards are a pain and like to wear out rather quickly if you keep
running build jobs and rewriting the same memory cells over and over
again; I thought we had set up an external disk properly, but well
...)

We could try again to get Debian 10 running on the RPI.

Alternatively we could cross-compile, of course, but that's a bit more<= br> painful to set up, and RPI 4 is certainly amazingly fast.

> My actual debian buster installation is still on glibc-2.28. The x86_6= 4 Linux binaries also use the older 2.28-version which is widely used among= many distros. I would be very happy if I could install a 2.28-version on m= y ARM Linux box. Else I have to compile my own glic... or my own mtxrun...<= br>
A luametatex binary is needed.

Out of curiosity: what hardware do you run your linux distro on?

Mojca
___________________________________________________________________________= ________
If your question is of interest to others as well, please add an entry to t= he Wiki!

maillist : ntg-cont= ext@ntg.nl / http://www.ntg.nl/mailman/listinfo/nt= g-context
webpage=C2=A0 : http://www.pragma-ade.nl / http://context.aanhet.net=
archive=C2=A0 : https://bitbucket.org/phg/context-m= irror/commits/
wiki=C2=A0 =C2=A0 =C2=A0: http://contextgarden.net
___________________________________________________________________________= ________

--0000000000000081b905b527e2e2-- --===============3356467604273416290== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVz dCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKCm1h aWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9s aXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAv IGh0dHA6Ly9jb250ZXh0LmFhbmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwczovL2JpdGJ1Y2tldC5v cmcvcGhnL2NvbnRleHQtbWlycm9yL2NvbW1pdHMvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRn YXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCg== --===============3356467604273416290==--