Re: netbsd development on a raspberry pi

[Benny Siegert <bsiegert%gmail.com@localhost>]

Basically, any size you can buy, I think it needs to be above 2G. I
have 32G and 64G cards, they were around 30$.

Note that you want the fastest tier cards, look for UHS-1. Example:
https://www.digitec.ch/en/s1/product/samsung-evo-microsd-uhs-i-64gb-class-10-memory-cards-6304644
for 28.50.

I have heard that some cards are advertised as "super robust" or
something like that, which is supposedly better for workloads that
read/write/rewrite a lot of data, such as builds. But I have no
experience with these.

The build machine that I mentioned has a hard drive attached via USB,
which is where the obj directories go.

In general, I recommend a separate partition for WRKOBJDIR, scratch
space or whatever that you can mount with -o async. Having the root
filesystem mounted async is asking for trouble, which I learned the
hard way.

On Tue, Apr 2, 2019 at 12:01 PM Mayuresh Kathe <mayuresh%sdf.org@localhost> wrote:
>
> > From bsiegert%gmail.com@localhost Tue Apr  2 09:30:51 2019
> > From: Benny Siegert <bsiegert%gmail.com@localhost>
> > Subject: Re: netbsd development on a raspberry pi
> > To: Mayuresh Kathe <mayuresh%sdf.org@localhost>
> > Cc: NetBSD Users <netbsd-users%netbsd.org@localhost>
> >
> > On Tue, Apr 2, 2019 at 10:55 AM Mayuresh Kathe <mayuresh%sdf.org@localhost> wrote:
> > > the question that i don't have an answer to is whether it is possible
> > > to do development on an 'rpi' running netbsd? development would not
> > > be restricted to just userland, but would also spill over into
> > > kernel zone too.
> >
> > Sure! NetBSD runs well on the RPi with the evbarm port. You'll want to
> > run -current for best results. See http://invisible.ca/arm/ for images
> > that you can just dd onto a memory card.
> >
> > Personally, I have an "OrangePi Plus 2E" that I bought based on
> > jmcneill's recommendation. It is a bit faster than the RPi
> > (particularly for storage and network), has been running super stable
> > doing continuous builds and costs about the same as an RPi.
> >
> > --
> > Benny
> >
>
> what could be an ideal storage size for the micro-sd card?



-- 
Benny