Date: Fri, 31 Jan 2020 07:48:38 +0000 From: Tom Jones <thj@freebsd.org> To: Emmanuel Vadot <manu@bidouilliste.net> Cc: Poul-Henning Kamp <phk@phk.freebsd.dk>, Paul Mather <paul@gromit.dlib.vt.edu>, Robert Clausecker <fuz@fuz.su>, freebsd-arm <freebsd-arm@freebsd.org>, freebsd-arch <freebsd-arch@freebsd.org> Subject: Re: arm64 as Tier 1 for FreeBSD 13 Message-ID: <20200131074838.GA91179@tom-desk.erg.abdn.ac.uk> In-Reply-To: <20200129222907.3ccaf4c23fe8509e3f9cdfe4@bidouilliste.net> References: <CAPyFy2Aa6Uj0nyQ1Y_KPLd7%2BROJ4xW5i-SpctV1sRVK_BivPHw@mail.gmail.com> <CAPyFy2D91v7SwjZOgMG0a9V%2BH6GVCF8NHKp341N8mwnCvA71cA@mail.gmail.com> <CAPyFy2BP3hFHuFJyo2M-5pc0%2BCmRiyym1TZ81P5xicR4zED1JQ@mail.gmail.com> <CAPyFy2BXWPVOJo%2BGOf83sZFrPHE80-QvdHeWrhi%2BTdj0KDnThg@mail.gmail.com> <17938.1575444597@critter.freebsd.dk> <20191204092402.GA82492@fuz.su> <D140BA2A-71F3-4574-9015-675950705AF2@gromit.dlib.vt.edu> <78425.1580332298@critter.freebsd.dk> <20200129222907.3ccaf4c23fe8509e3f9cdfe4@bidouilliste.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Jan 29, 2020 at 10:29:07PM +0100, Emmanuel Vadot wrote: > On Wed, 29 Jan 2020 21:11:38 +0000 > "Poul-Henning Kamp" <phk@phk.freebsd.dk> wrote: > > > -------- > > In message <D140BA2A-71F3-4574-9015-675950705AF2@gromit.dlib.vt.edu>, Paul Mather writes: > > >On Dec 4, 2019, at 4:24 AM, Robert Clausecker <fuz@fuz.su> wrote: > > > > > >> On Wed, Dec 04, 2019 at 07:29:57AM +0000, Poul-Henning Kamp wrote: > > >>> In message <CAPyFy2BXWPVOJo+GOf83sZFrPHE80-QvdHeWrhi+Tdj0KDnThg@mail.gmail.com>, Ed Maste writes: > > >> > > >> Indeed. For example, on a Raspberry Pi 3B, it takes multiple days to > > >> build world as the build must be done single threaded due to a lack of > > >> RAM (building LLVM is the worst offender here). > > > > I plugged in a "WD SSD Passport" USB disk, it supports BIO_DELETE and > > performs so much better than a SD card, that swapon(8) is a good idea. > > > > I will also repeat again: We ignore the RPi4 at our peril. > > Show me the TRM. > Please show me a way to do this without looking at linux GPL driver. > > > RPi's are a LOT easier to get hold of for hackers and in particular > > for educators. > > In what way ? > Real answer only. I am not pro-pi, but ease of availability in education is a valid point. I work for a University and we have to buy through vetted suppliers, Farnell have an education front end called onecall that we use a lot for electronics and components. Right now they have 50000 raspberry pi 4's [1] available, I suspect I could get enough for a class with a days turn around. Other boards are not the same, we tried to buy the macchiatobin a few years ago and were unable to get a delivery date that was acceptable. However, I agree with manu, without documentation this is a moot point. I don't see a university (or secondary school) investing the time (money) to support the pi, a FreeBSD developer might. We need an interested FreeBSD developer and they need documentation for us to have a hope of supporting the board. [1]: https://onecall.farnell.com/buy-raspberry-pi?ICID=I-HP-PP-PI-3a-1783488 - [tj]
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20200131074838.GA91179>