Re: Which port for armv4l?

2016-08-10 Thread Wookey
On 2016-08-10 12:54 -0400, Stefan Monnier wrote: > > So in the OP's case, it seems that installing Debian with a kernel that > emulates the missing instructions, is all it takes to get a working > system, and then you can: > - tweak /etc/dpkg/buildflags.conf to tell the > compiler to optimize fo

Re: Which port for armv4l?

2016-08-10 Thread Jeffrey Walton
> Hmm... I guess you'd still suffer from performance problems when your > locally-compiled packages get updated by "apt-get upgrade" and hence > replacing your tuned packages with the stock precompiled ones. > So I guess for the sun to shine we'd want some way to flag some packages > as "always ins

Re: Which port for armv4l?

2016-08-10 Thread Stefan Monnier
>> I guess all I'm still missing is some community of tweakers adding >> facilities to set global compilation flags to use for all those >> recompiled packages and things like that, so you don't have to do it by >> hand for each and every package you want to recompile with your >> own compilation f

Re: Which port for armv4l?

2016-08-10 Thread Paul Wise
On Wed, Aug 10, 2016 at 11:55 PM, Stefan Monnier wrote: > I guess all I'm still missing is some community of tweakers adding > facilities to set global compilation flags to use for all those > recompiled packages and things like that, so you don't have to do it by > hand for each and every package

Re: Which port for armv4l?

2016-08-10 Thread Stefan Monnier
>> Reminds me that I wish there was some kind of "Debian from Source" >> effort which would make it easy to install specific packages by >> compiling them locally. So you'd get a slightly Gentoo-ish flavor >> of Debian. > Are you talking about something like this? > https://wiki.debian.org/HelmutG

Re: Which port for armv4l?

2016-08-10 Thread Paul Wise
On Wed, Aug 10, 2016 at 11:04 PM, Stefan Monnier wrote: > Reminds me that I wish there was some kind of "Debian from Source" > effort which would make it easy to install specific packages by > compiling them locally. So you'd get a slightly Gentoo-ish flavor > of Debian. Are you talking about so

Re: Which port for armv4l?

2016-08-10 Thread Stefan Monnier
>> > I have an old Jornada 720 handheld PC with SA-1110 (StrongARM) CPU. I >> > have a kernel compiled for armv4l architecture (not by me) and a >> > userland that I don't want to use. >> The last Debian release using StrongARM was 5.0 "Lenny" - using the >> original 'arm' port. >> https://www.debi

Re: Which port for armv4l?

2016-08-10 Thread Wookey
On 2016-08-10 14:28 +0100, Neil Williams wrote: > On Wed, 10 Aug 2016 15:02:39 +0200 (CEST) > Adam Wysocki wrote: > > > Hi, > > > > I have an old Jornada 720 handheld PC with SA-1110 (StrongARM) CPU. I > > have a kernel compiled for armv4l architecture (not by me) and a > > userland that I don't

Re: Which port for armv4l?

2016-08-10 Thread Neil Williams
On Wed, 10 Aug 2016 15:02:39 +0200 (CEST) Adam Wysocki wrote: > Hi, > > I have an old Jornada 720 handheld PC with SA-1110 (StrongARM) CPU. I > have a kernel compiled for armv4l architecture (not by me) and a > userland that I don't want to use. > > Instead of this userland I'd prefer to run Deb

Which port for armv4l?

2016-08-10 Thread Adam Wysocki
Hi, I have an old Jornada 720 handheld PC with SA-1110 (StrongARM) CPU. I have a kernel compiled for armv4l architecture (not by me) and a userland that I don't want to use. Instead of this userland I'd prefer to run Debian on this antique, but I don't know which architecture to choose. When