There are a handful of independent 64 bit distros. Never tried one though. Chris.
> -----Original Message----- > From: vpp-dev-boun...@lists.fd.io [mailto:vpp-dev-boun...@lists.fd.io] On > Behalf Of Damjan Marion > Sent: Thursday, March 09, 2017 8:00 AM > To: Burt Silverman <bur...@gmail.com> > Cc: vpp-dev@lists.fd.io; Ilan Uriel <il...@checkpoint.com> > Subject: Re: [vpp-dev] VPP on raspberry pi & 32 bit compilation > > > > On 9 Mar 2017, at 04:54, Burt Silverman <bur...@gmail.com> wrote: > > > > > > I thought the RP 3 Model B is a 64 bit machine. > > • A 1.2GHz 64-bit quad-core ARMv8 CPU > > It is 64-bit machine, but currently all linux distros are 32-bit (unless > something > changed recently) > > _______________________________________________ > vpp-dev mailing list > vpp-dev@lists.fd.io > https://lists.fd.io/mailman/listinfo/vpp-dev _______________________________________________ vpp-dev mailing list vpp-dev@lists.fd.io https://lists.fd.io/mailman/listinfo/vpp-dev
