Hi Mojca

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

Very nice little piece of hardware. Small, great battery life and not so
limited as other tablets (full linux access). Rather fast too...

As I told in the second email, there'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 Uhr schrieb Mojca Miklavec <
mojca.miklavec.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)
>     https://www.raspberrypi.org/forums/viewtopic.php?t=243985
>
> https://www.raspberrypi.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
> painful to set up, and RPI 4 is certainly amazingly fast.
>
> > My actual debian buster installation is still on glibc-2.28. The x86_64
> 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 my
> ARM Linux box. Else I have to compile my own glic... or my own mtxrun...
>
> 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
> the Wiki!
>
> maillist : ntg-context@ntg.nl /
> http://www.ntg.nl/mailman/listinfo/ntg-context
> webpage  : http://www.pragma-ade.nl / http://context.aanhet.net
> archive  : https://bitbucket.org/phg/context-mirror/commits/
> wiki     : http://contextgarden.net
>
> ___________________________________________________________________________________
>